З 97    Л694/2 З 97 / Л694/2-02     Логика и компьютер [Текст] : [Сб. ст.]. - М. : [б. и.].    2 : Логические языки, содержательные рассуждения и методы поиска доказательств. - 1995. - 131 с. : ил. - Библиогр. в конце ст. Дескрипторы: сб -- многот Экземпляры всего: 1 02 (1) Свободны: 02 (1)