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

Reeves, S. Logic for computer science / S.Reeves,M.Clarke. - 1st print. - Wokingham [etc.] : Addison-Wesley, 1990. - XI,260 p. p. : ill. - (International computer sience series). - ISBN 0-201-41643-3. - Текст : непосредственный.
Библиогр.:с.255-256.-Указ.:с.257-260
Перевод заглавия: Логика для теории ЭВМ

ГРНТИ	УДК
50.07	510.285

Рубрики:
Математическая логика -- Применение в вычислительной технике

Доп. точки доступа:
Clarke, M.

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

Шифр в сводном ЭК: 348546d19cfb982221078b095f78e3c1

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