TY  - BOOK
AU  - Эббинхауз,Г.-Д.
AU  - Якобс,К.
AU  - Ман,Ф.К.
AU  - Хермес,Г.
AU  - Белаги,Э.Г.
TI  - Машины Тьюринга и рекурсивные функции: Пер. с нем. 
PY  - 1972///
CY  - Москва
PB  - Мир
KW  - Математика
KW  - Рекурсивные функции
N1  - Оригинал на англ.; H.-D. Ebbinghaus, F.-K. Mahn, H. Hermes -; Berlin : Springer-Werlag : 1970
ER  -