"Вычисллимость. Введение в теорию рекурсивных функций" - читать интересную книгу автора (Катленд Н. (Cutland))