Classical recursion theory : the theory of functions and sets of natural numbers - Odifreddi, Piergiorgio (Studies in logic and the foundations of mathematics ;, 1992)