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