Математическая логика и основания математики. Модальная логика.
Логика.
Теорема Гёделя.
Математическая логика. Алгебра. Теория чисел. Теория вероятностей
Лучшие логические игры и головоломки
Избранные труды. Том 2. Математическая логика и общая теория алгебраических систем
Сборник задач по математике для втузов
Занимательная логика
Математический анализ: введение в анализ, производная, интеграл справочное пособие по высшей математике
Комбинаторика и бином Ньютона
Категории. Собрание сочинение. Т. 2
Доказательства и опровержения. Как доказываются теоремы
Доказательства и опровержения
Что такое математическая логика
Элементы теории множеств и математической логики в школьном курсе математики. Пособие для учителей
Математическая логика. Дополнительные главы