rogers1987-recursive-functions-and-effective-computability

Hartley Rogers, Jr. (1987). Theory of Recursive Functions and Effective Computability. Cambridge, MA: MIT Press.

https://mitpress.mit.edu/9780262680523/theory-of-recursive-functions-and-effective-computability/