"Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers Vol 1 (Studies in Logic and the Foundations of Mathematics Vol 125)" - читать интересную книгу автора (Piergiorgio Odifreddi)