Клини С. К. Основания интуиционистской математики с точки зрения теории рекурсивных функций. Москва, 1978. Большая российская энциклопедия

Заглавие:: Основания интуиционистской математики с точки зрения теории рекурсивных функций
Автор:: Клини Стефан Коул (1909-)
Место издания:: Москва
Издатель:: Наука
Дата издания:: 1978
Объём:: 271 с.
Серия:: Математическая логика и основания математики
Сведения о библиографии:: Список лит.: с. 254-266
Аннотация:: В книге детально излагается принадлежащая Клини формализация интуиционистского анализа и рассматриваются интерпретации этого формализма средствами теории рекурсивных функций. На этой основе устанавливается ряд интересных метаматематических результатов. Одна из глав посвящена изложению развиваемой в книге формальной системы брауэровской теории континуума.
Язык текста:: Русский