"Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers" - читать интересную книгу автора (Piergiorgio Odifreddi)