Лавров И.А., Максимова Л.Л. Задачи по логике

Новосибирск: Новосибирский Государственный университет, 1970. - 110 с. - Пособие для студентов-математиков НГУ Предисловие
Теория множеств
Операции над множествами
Отношения и функции
Специальные бинарные отношения
Кардинальные числа
Ординальные числа
Действия над кардинальными числами
Математическая логика
Исчисление высказываний
Алгебра высказываний
Язык узкого исчисления предикатов (УИП)
Выполнимость формул УИП
Узкое исчисление предикатов
Аксиоматические теории
Фильтры и фильтрованные произведения
Аксиоматизируемые классы
Литература
Указатель терминов и обозначений