3 ms·"Theory of Recursive Functions and Effective Computability" by Hartley Rogers is excellent.by paulreiners 17y ago"Theory of Recursive Functions and Effective Computability" by Hartley Rogers is excellent.