TY - BOOK AU - Роджерс, Х. TI - Роджерс Х. Теория рекурсивных функций и эффективная вычислимость CY - Москва PB - Мир ER -