Вид документа : Однотомное издание Шифр издания : 16/С 50 Автор(ы) : Смирнов, Владимир Александрович Заглавие : Формальный вывод и логические исчисления : монография Выходные данные : Москва: Наука, 1972 Колич.характеристики :271 с. ; 20см Коллективы : Акад. наук СССР (Москва) Примечания : Библиография: с. 267-268 ( 59 назв.) Цена : 0.67 р. Предметные рубрики: Философия-- Логика Аннотация: В монографии анализируются различные способы логического рассуждения: логические системы гильбертовского типа, системы натурального вывода, секвенциальные исчисления. Дается достаточно естественная классификация логических систем. Экземпляры :КХР(1) Свободны : КХР(1) Доп.точки доступа: Таванец, Петр Васильевич \отв. ред.\; Акад. наук СССР (Москва)