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

Bibliographic Details
Main Authors:	Эббинхауз, Г. -Д (Author), Якобс, К. (Author), Ман, Ф. -К (Author), Хермес, Г. (Author)
Other Authors:	Белаги, Э. Г. (Translator)
Format:	Book
Published:	М.: Мир 1972
Series:	Современная математика. Популярная серия
Subjects:	НАУЧНЫЕ ИЗДАНИЯ МНОЖЕСТВА АРИФМЕТИКА ОПИСАНИЕ ОПРЕДЕЛЕНИЕ ПРИМЕРЫ ВЫЧИСЛИМОСТЬ ПРЕФИКСЫ ПЕРЕЧИСЛИМОСТЬ ЛЕММА ЛОГИКА ПРЕДИКАТОВ ПОСЛЕДОВАТЕЛЬНОСТИ
Online Access:	Перейти в каталог Библиотеки ТУСУР

Description
Physical Description:	264 с.: a-рис.
Bibliography:	Библиогр.в конце глав . - Имен. указ.: с. 249-250 . - Предм. указ.: с. 251-262

Similar Items