Новые поступления (книга в стадии обработки) Смирнов, В. А. Формальный вывод и логические исчисления [Текст] : монография / В. А. Смирнов ; отв. ред. П. В. Таванец ; Ин-т философии (Москва). - М. : Наука, 1972. - 271 с. ; 19 см . - Библиогр.: с. 267-268 ( 59 назв.). - 0.67 р.
Рубрики: Философия--Логика Кл.слова (ненормированные): ЛОГИЧЕСКИЕ СИСТЕМЫ -- ГИЛЬБЕРТОВСКИЕ СИСТЕМЫ -- НАТУРАЛЬНЫЕ СЧИСЛЕНИЯ -- СЕМАНТИКА ЛОГИКИ -- ЯЗЫКИ ЛОГИКИ -- АКСИОМАТИЗАЦИЯ СВОЙСТВ Аннотация: В монографии анализируются различные способы логического рассуждения: логические системы гильбертовского типа, системы натурального вывода, секвенциальные исчисления. Дается достаточно естественная классификация логических систем. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Таванец, П. В. |