"Classical Recursion Theory - The Theory Of Functions And Sets Of Natural Numbers" - читать интересную книгу автора (P. Odifreddi)