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