Theory of Recursive Functions and Effective Computability

Book by Hartley Rogers Jr.