Машины Тьюринга и рекурсивные функции: научное издание/

Библиографическая информация
Главные авторы: Эббинхауз, Г. -Д (Автор), Якобс, К. (Автор), Ман, Ф. -К (Автор), Хермес, Г. (Автор)
Другие авторы: Белаги, Э. Г. (Переводчик)
Формат: Книга
Публикация: М.: Мир 1972
Серии:Современная математика. Популярная серия
Предметы:
Online-ссылка:Перейти в каталог Библиотеки ТУСУР
LEADER 01889nam a2200409 i 4500
001 LibTUSUR0000070530
008 170414u1972 ru_aa l000 0yrus d
020 |c р00.89 
040 |a Библиотека ТУСУР  |b rus 
245 0 0 |a Машины Тьюринга и рекурсивные функции:   |b научное издание/  |c Г. -Д. Эббинхауз [и др.] ; пер. Э. Г. Белаги 
260 |a М.:  |b Мир  |c 1972 
300 |a 264 с.:  |b a-рис. 
440 0 |a Современная математика.  |p Популярная серия 
504 |a Библиогр.в конце глав . - Имен. указ.: с. 249-250 . - Предм. указ.: с. 251-262 
546 |a Пер. с нем. 
535 2 |a Библиотека ТУСУР  |d https://lib.tusur.ru 
653 0 |a НАУЧНЫЕ ИЗДАНИЯ 
653 0 |a МНОЖЕСТВА 
653 0 |a АРИФМЕТИКА 
653 0 |a ОПИСАНИЕ 
653 0 |a ОПРЕДЕЛЕНИЕ 
653 0 |a ПРИМЕРЫ 
653 0 |a ВЫЧИСЛИМОСТЬ 
653 0 |a ПРЕФИКСЫ 
653 0 |a ПЕРЕЧИСЛИМОСТЬ 
653 0 |a ЛЕММА 
653 0 |a ЛОГИКА ПРЕДИКАТОВ 
653 0 |a ПОСЛЕДОВАТЕЛЬНОСТИ 
852 |a Библиотека ТУСУР  |h 51  |i М 382  |p 132665  |b аунл 
852 |a Библиотека ТУСУР  |h 51  |i М 382  |p 132666  |b аунл 
080 |a 510.582:510.57 
700 1 |a Эббинхауз, Г. -Д.  |4 aut 
700 1 |a Якобс, К.  |4 aut 
700 1 |a Ман, Ф. -К.  |4 aut 
700 1 |a Хермес, Г.  |4 aut 
700 1 |a Белаги, Э. Г.  |4 trl 
856 |y Перейти в каталог Библиотеки ТУСУР  |u https://lib.tusur.ru/irbis-new/i64r_15/cgiirbis_64.exe?Z21ID=&P21DBN=LIB&I21DBN=LIB&S21FMT=fullwebr&C21COM=S&2_S21P02=0&2_S21P03=I=&2_S21STR=51/М 382-698891211