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

М.: Издательский отдел факультета ВМиК им. М. В. Ломоносова (лицензия ИД  05899 от 24.09.2001 г.); МАКС Пресс, 2012. - 134 с.
Предлагаемое учебное пособие предназначено для студентов, начинающих изучать математическую логику, оно также может быть использовано при самообразовании. Классическая алгебра логики.
Алгебра высказываний.
Бинарные отношения на множестве формул.
Характеризация формул алгебра высказываний.
Исчисления высказываний. Гильбертовские исчисления.
Логические исчисления.
Исчисление высказываний H.
Метатеория ИВ H.
Исчисления высказываний H' и H₁.
Типы логических исчислений и их представления.
Генценовские исчисления высказываний.
Исчисление N натурального типа.
Исчисление S секвенциального типа.