М.: Наука. Главная редакции физико-математической литературы, 1982.
— 376 с.
Математическая логика традиционно подразделяется на четыре раздела:
теория моделей, теория множеств, теория рекурсии и теория
доказательств. Каждая из четырех частей начинается с короткого
предисловия к следующим за ним главам. Первая глава или две первые
главы в каждой части носят вводный характер. Далее следуют главы, в
которых рассматриваются более специальные вопросы, а также
приложения математической логики. Каждая глава написана для тех,
кто не является специалистом в данной области. Издание рассчитано
на всех математиков, начиная со студентов университетов,
интересующихся развитием современной математики и логики.
Оглавление. Часть 2
Предисловие редактора русского перевода
Введение
Аксиомы теории множеств.
Об аксиоме выбора.
Комбинаторика.
Вынуждение.
Конструктивность.
Аксиома Мартина.
Результаты о непротиворечивости в топологии.
Дескриптивная теория множеств: проективные множества.
Проективная иерархия Н. Н. Лузина: современное состояние теории.
Именной указатель
Предметный указатель
Обозначения, связанные с определимостью
Указатель обозначений
Предисловие редактора русского перевода
Введение
Аксиомы теории множеств.
Об аксиоме выбора.
Комбинаторика.
Вынуждение.
Конструктивность.
Аксиома Мартина.
Результаты о непротиворечивости в топологии.
Дескриптивная теория множеств: проективные множества.
Проективная иерархия Н. Н. Лузина: современное состояние теории.
Именной указатель
Предметный указатель
Обозначения, связанные с определимостью
Указатель обозначений