"Recursion Theory (Lecture Notes in Logic, 1)" - читать интересную книгу автора (Joseph R. Shoenfield)