1. Rogers H. Jr: Theory of Recursive Functions and Effective Computability. MacGraw-Hill, New York (1967)
2. Davis M.: The Undecidable. Basic Papers on Undecidable, Unsolvable Problems and Computable Functions. Raven Press, Hewlett (1965)
3. Barwise J.: Handbook of Mathematical Logic. North-Holland, Amsterdam (1978)
4. Enderton H.: A Mathematical Introduction to Logic, 2nd edn. Academic Press, San Diego (2001)
5. Odifreddi P.: Classical Recursion Theory, vol 1. North-Holland, Amsterdam (1989)