"Theory of Recursive Functions and Effective Computability" - читать интересную книгу автора (Hartley Rogers)