TY  - BOOK
AU  - Ман, Ф.-К.
AU  - Хермес, Г.
AU  - Якобс, К.
AU  - Эббинхауз, Г.-Д.
AU  - Белага, Э. Г.
TI  - Машины Тьюринга и рекурсивные функции
T2  - Современная математика
PY  - 1972///
CY  - Москва
PB  - Мир
KW  - Тьюринга машина
KW  - psbo
KW  - Функции рекурсивные
N2  - Списки лит. в конце глав; Указ. обозначений, имен. и предм.: с. 248-262
ER  -