"Recursion theory" - читать интересную книгу автора (Joseph R. Shoenfield)