Text this: Вычислимость. Введение в теорию рекурсивных функций: пер. с англ.