"Theory of Recursive Functions and Effective Computability" by Hartley Rogers is excellent.