"Computability: An Introduction to Recursive Function Theory" - читать интересную книгу автора (Nigel Cutland)