В настоящей книге подчеркиваются алгебраические аспекты исчислений высказываний классической и интуиционистской логик, излагаются методы характеризации формул логики высказываний, подробно рассматриваются гильбертовские исчисления, система натурального вывода и исчисление секвенций для исчисления высказываний. Для каждой из трех систем рассматривается соответствующая метатеория. Разбираются семантические методы характеризации формул. Большое количество примеров позволяет читателю легко освоиться с вводимыми понятиями.

Пособие предназначено для студентов, начинающих изучать математическую логику, а также может быть использовано при самообразовании.