Вид документа : Однотомное издание Шифр издания : 87.4/С 50 Автор(ы) : Смирнов В.А. Заглавие : Формальный вывод и логические исчисления Выходные данные : М.: Наука, 1972 Колич.характеристики :270, [1] с Коллективы : АН СССР. Ин-т философии Цена : 0.67 р. ББК : 87.4 Предметные рубрики: Логика Экземпляры : всего : Аб.2(2) Свободны : Аб.2(2) Доп.точки доступа: АН СССР. Ин-т философии