З 97    Л694/3 З 97 / Л694/3-02     Логика и компьютер [Текст]. - М. : [б. и.].    [Вып.] 3 : Доказательство и его поиск : (курс логики и компьютер. практикум) / [Смирнов В.А., Маркин В.И., Новодворский А.Е., Смирнов А.В.]. - 1996. - 255 с. + 1 дискета Дескрипторы: многот -- моногр Доп.точки доступа: Смирнов, В. А.; Маркин, В. И.; Новодворский, А. Е.; Смирнов, А. В. Экземпляры всего: 1 02 (1) Свободны: 02 (1)