TY  - BOOK
AU  - Роджерс,Х.
AU  - Душский,В.А.
AU  - Успенский,В.А.
TI  - Теория рекурсивных функций и эффективная вычислимость: Пер. с англ. 
PY  - 1972///
CY  - Москва
PB  - Мир
KW  - Математика
ER  -