Classical recursion theory the theory of functions and sets of natural numbers - Odifreddi, Piergiorgio (North-Holland, 1989)