Для начинающих изучать математическую логику и преподавателей.
В простой форме излагается алгебра логики и основные понятия логики предикатов, некоторые элементы теории доказательств.
Содержит много подробно разобранных примеров, упражнения и задачи для самостоятельной работы.
Доступна учащимся 8-11 классов и может быть использована как для преподавания факультативного курса "Элементы математической логики", а также для самостоятельного изучения учащимися.