Справочная книга по математической логике, ред Барвайс Дж (Наука, 1982), в 2-ч ч.
Александров П С, Введение в теорию множеств и общую топологию (Наука, 1977)
Мендельсон Э, Введение в математическую логику (Наука, 1976)
Цаленко М Ш, Шульгейфер Е Г, Основы теории категорий (Наука, 1974)
Новиков П С, Элементы математической логики (Наука, 1973)
Расева Е, Сикорский Р, Математика метаматематики (Наука, 1972)
Лавров И А, Максимова Л Л, Задачи по теории множеств, математической логике и теории алгоритмов (ФМЛ, 1995)