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