^2rugasnti^a27     Смирнов, В. А.     Формальный вывод и логические исчисления [Text] / В. А. Смирнов. - Москва : Наука, 1972. - 271 с. - Б. ц. ГРНТИ ^a27 УДК ^a510 ^a16 РУБ Рубрики: Математика Кл.слова (ненормированные): 1 ; Логика предикатов -- 1 ; Системы гильбертовского типа -- 1 ; Субординатный вывод -- 1 ; Исчисление предикатов Свободных экз. нет