"Computability theory: An introduction to recursion theory" - читать интересную книгу автора (Enderton H.)