Вычислимость. Введение в теорию рекурсивных функций
Теория рекурсивных функций и эффективная вычислимость
