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