М.: Наука. Главная редакции физико-математической литературы, 1983.
— 392 с.
Математическая логика традиционно подразделяется на четыре раздела:
теория моделей, теория множеств, теория рекурсии и теория
доказательств. Каждая из четырех частей начинается с короткого
предисловия к следующим за ним главам. Первая глава или две первые
главы в каждой части носят вводный характер. Далее следуют главы, в
которых рассматриваются более специальные вопросы, а также
приложения математической логики. Каждая глава написана для тех,
кто не является специалистом в данной области. Издание рассчитано
на всех математиков, начиная со студентов университетов,
интересующихся развитием современной математики и логики.
Оглавление. Часть 4
От редактора русского перевода
Введение
Теоремы о неполноте.
Теория доказательств: некоторые приложения устранения сечения.
Теорема Эрбрана и генценовское понятие прямого доказательства.
Теории конечного типа, родственные математической практике.
Аспекты конструктивной математики.
Логика топосов. М. Фурман
Бестиповое лямбда-исчисление.
Математическая неполнота в арифметике Пеано.
Теорема непрерывности для эффективных операторов.
Теорема Эрбрана.
Каноническое дерево вывода для арифметических формул.
Ступенчатая семантика А. А. Маркова.
Мажорантная семантика
Равномерно непрерывное конструктивное отображение квадрата в себя без неподвижных точек.
Предметный указатель
Введение
Теоремы о неполноте.
Теория доказательств: некоторые приложения устранения сечения.
Теорема Эрбрана и генценовское понятие прямого доказательства.
Теории конечного типа, родственные математической практике.
Аспекты конструктивной математики.
Логика топосов. М. Фурман
Бестиповое лямбда-исчисление.
Математическая неполнота в арифметике Пеано.
Теорема непрерывности для эффективных операторов.
Теорема Эрбрана.
Каноническое дерево вывода для арифметических формул.
Ступенчатая семантика А. А. Маркова.
Мажорантная семантика
Равномерно непрерывное конструктивное отображение квадрата в себя без неподвижных точек.
Предметный указатель