Classical recursion theory - Odifreddi P G (Amsterdam Elsevier, 1999)
Keywords: Recursion theory