Клини С.К., Весли Р.Е. Основания интуиционистской математики

М., Наука, 1978. - 272 с.

ОГЛАВЛЕНИЕ.
От переводчиков.
Предисловие.
Формальная система интуиционистского анализа.
Введение в монографию.
Статус формальной системы.
Правила образования.
Постулаты исчисления предикатов, арифметики и касающиеся функций (постулаты групп А — С).
Постулаты для некоторых примитивно рекурсивных функций и их следствия (постулаты группы D).
Постулаты для потоков (бар-теорема).
Постулаты, касающиеся сопоставления функций последовательностям выбора (принцип Бpayэра).
Различные понятия реализуемости.
Определение реализуемости.
Реализуемость и выводимость в интуиционистской формальной системе.
Специальная реализуемость.
Специальная реализуемость и выводимость в интуиционистской формальной системе.
Интуиционистский континуум.
Действительные числовые генераторы и действительные числа.
Представление потоком; основные свойства континуума.
Теорема о равномерной непрерывности.
Структура континуума.
О порядке на континууме.
Введение и предварительные замечания.
Опровержение или доказательство независимости некоторых классических свойств порядка.
Библиография.
Указатель имен.
Предметный указатель.
Указатель обозначений.