Курс лекций по математической логике, читаемый Андреевым Кириллом Кирилловичем. (ФПМ МГИЭМ)
Теория алгоритмов, Булевые функции, Логические исчисления, Предикаты и кванторы.