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

Булос, Д. Вычислимость и логика : монография / Д. Булос, Р. Джеффри. - М. : "Мир", 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.17	510
27.03.19

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

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

Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д8-94/16122)

Шифр в сводном ЭК: 2446f0e9063706a14919388dc882a1f2

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