Полное описание

Д8-94/16122
51/Б 907
Булос, Д. Вычислимость и логика : пер.с англ.В.А.Душского и Е.Ю.Ногиной под ред.С.Н.Артемова / Д.Булос,Р.Джеффри. - М. : "Мир", 1994. - 396 c. : ил. - Пер. изд.: Computability and logic / G. S. Boolos, R. C. Jeffrey. - New York et.al, 1989. - 3000 экз. - ISBN 5-03-003067-0 : Б. ц. - Текст : непосредственный.
Указ.:с.388-394

ГРНТИ	УДК
27.03.19	510
27.03.45

Рубрики:
Рекурсия
Математическая логика

Доп. точки доступа:
Джеффри, Р.
Boolos, G. S.
Jeffrey, R. C.

Имеются экземпляры в отделах: всего 2 : ХР (2)
Свободны: ХР (2)
Заказаны экз-ры для отделов: ФО17, фо18, ФО19, ФО20, фо24, фо25, ФО26

Заказать издание
Заказ фрагмента документа ₽