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