Classical recursion theory the theory of functions and sets of natural numbers - Odifreddi, Piergiorgio (Elsevier, 1999)