Подробное описание документа

Логика и компьютер / Российская академия наук. - М. : Наука, 1995. - (Кибернетика: неограниченные возможности и возможные ограничения).
[Вып.] 2 : Логические языки, содержательные рассуждения и методы поиска доказательств : сборник статей / отв. ред. Смирнов В. А. - 1995. - 129 с. - Библиогр. в конце кн. - ISBN 5-02-006896-9.

УДК
510.6 Математическая логика

Предметные рубрики

Математическая логика

Общее кол-во в фондах
1 экз.

Заказать в читальный зал

Вы можете получить данный документ в одном из следующих отделов

Преподавательский абонемент ауд.313, ГУК, ауд. 313
Читальный зал ауд.313, ГУК, ауд. 313