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