ОГЛАВЛЕНИЕ

От редактора русского перевода............... 5

Введение ......................... 7

Глава 1. ТЕОРЕМЫ О НЕПОЛНОТЕ. К. Сморинский.....9

Глава 2. ТЕОРИЯ ДОКАЗАТЕЛЬСТВ; НЕКОТОРЫЕ ПРИЛОЖЕНИЯ УСТРАНЕНИЯ СЕЧЕНИЯ. Г. Швихтенберг ... 54

Глава 3. ТЕОРЕМА ЭРБРАНА И ГЕНЦЕНОВСКОЕ ПОНЯТИЕ ПРЯМОГО ДОКАЗАТЕЛЬСТВА. Р. Стетмен.....84

Глава 4. ТЕОРИИ КОНЕЧНОГО ТИПА, РОДСТВЕННЫЕ МАТЕМАТИЧЕСКОЙ ПРАКТИКЕ. С. Феферман......100

Глава 5. АСПЕКТЫ КОНСТРУКТИВНОЙ МАТЕМАТИКИ. А. Трулстра......................160

Глава 6. ЛОГИКА ТОПОСОВ. М. Фурман.........241

Глава 7. БЕСТИПОВОЕ λ-ИСЧИСЛЕНИЕ. X. Барендрегт .... 278

Глава 8. МАТЕМАТИЧЕСКАЯ НЕПОЛНОТА В АРИФМЕТИКЕ

ПЕАНО. Дж. Парис, Л. Харрингтон........319

Добавление 1. ТЕОРЕМА НЕПРЕРЫВНОСТИ ДЛЯ ЭФФЕКТИВНЫХ ОПЕРАТОРОВ. Г. Е. Минц . . . 328

Добавление 2. ТЕОРЕМА ЭРБРАНА. Г.Е. Минц.....331

Добавление 3. КАНОНИЧЕСКОЕ ДЕРЕВО ВЫВОДА ДЛЯ

АРИФМЕТИЧЕСКИХ ФОРМУЛ. Г. Е, Минц 341

Добавление 4. СТУПЕНЧАТАЯ СЕМАНТИКА А.А. МАРКОВА. Г.Е. Минц............348

Добавление 5. МАЖОРАНТНАЯ СЕМАНТИКА Н.А. ШАНИНА. Г.Е. Минц.............357

Добавление 6. РАВНОМЕРНО НЕПРЕРЫВНОЕ КОНСТРУКТИВНОЕ ОТОБРАЖЕНИЕ КВАДРАТА В СЕБЯ БЕЗ НЕПОДВИЖНЫХ ТОЧЕК. В.И. Органов .................366

Предметный указатель....................383