"Computability Theory: An Introduction to Recursion Theory" - читать интересную книгу автора (Herbert B. Enderton)