TY  - BOOK
AU  - Катленд, Н.
TI  - Вычислимость. Введение в теорию рекурсивных функций
PY  - 1983///
CY  - М.
PB  - Мир
N2  - Библиогр.: с. 252-254
ER  -