Classical recursion theory: the theory of functions and sets of natural numbers/
Piergiorgio Odifreddi.
- Amsterdam; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science, 1989.
- xvii, 668 p.: ill.; 23 cm.
- Studies in logic and the foundations of mathematics; v. 125. .