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