Электронный каталог: Роджерс Х. - Теория рекурсивных функций и эффективная вычисляемость