Калужнин Л.А. Элементы теории множеств и математической логики в школьном курсе математики

М.: Просвещение, 1978. - 89 с.
Качество: хорошее, текстовый слой, оглавление. Краткое изложение элементов теории множеств и математической логики. Показывается, как некоторые темы алгебры, геометрии и математического анализа могут рассматриваться с единой точки зрения. Приводятся исторические сведения о возникновении и развитии теории множеств и математической логики. Содержание:
Как возникла формальная и математическая логика.
Начала теории множеств.
Алгебра высказываний и алгебра множеств.
Определения основных логических связок.
Высказывания и булевы функции.
Логическое следование для формул алгебры высказываний.
Отношения и соответствия, предикаты, кванторы.
Высказывательные формы.
Аристотелевское учение о суждениях и силлогизмах.
Определения.
Заключение и обзор литературы.
Литература.