Гудстейн Р.Л. Рекурсивный математический анализ

М.: Наука, Физматлит, 1970. — 472 с. — (Математическая логика и основания математики).ОглавлениеВступительная статьяРекурсивная теория чисел.
Определение по рекурсии.
Исчисление равенств.
Логические константы.
Основные теоремы арифметики.
Формализация примитивно рекурсивной арифметики.
Сведения к примитивной рекурсии.
Устранение параметров.
Гёделевская нумерация и неполнота арифметики.Рекурсивный анализ.
Рекурсивная сходимость.
Рекурсивная и относительная непрерывность.
Рекурсивная и относительная дифференцируемость.
Относительный интеграл.
Элементарные функции.
Трансфинитные ординалы.
Рекурсивная иррациональность и трансцендентность.Библиографические замечания
БиблиографияПриложения
Разрешимый фрагмент рекурсивной арифметики.
Конструктивистская теория плоских кривых.
Формализация рекурсивной арифметики.
Эквивалентность некоторых формализации примитивно рекурсивной арифметики.Указатель