Исчисления высказываний и исчисления секвенций Сергей Гуров

Предлагаемая книга предназначена для читателей с математическим складом ума, начинающих изучать математическую логику как в рамках учебного курса, так и при самообразовании. При изложении материала в данном пособии подчёркиваются алгебраические аспекты логических исчислений. Изложены методы характеризации формул, подробно рассмотрены гильбертовские исчисления, система натурального вывода и исчисление секвенций. Для каждой из трёх систем доказываются корректность, полнота и анализируются отличительные особенности выводов теорем. Книга содержит большое количество примеров, позволяющих читателю легко освоиться с вводимыми понятиями. Это и многое другое вы найдете в книге Исчисления высказываний и исчисления секвенций (Сергей Гуров)