Предлагаемая монография написанная С.К. Клини в сотрудничестве с Р.Ю. Весли суммирует многолетние исследования С.К. Клини, посвященные основаниям и интерпретациям интуиционисткой математики. В книге строится формализм, который можно рассматривать как расширение формальной интуиционисткой арифметики, развитой в известной монографии Клини "Введение в математику", и который позволяет изложить широкие разделы интуиционисткого анализа, включая теорию последовательностей выбора и брауэровску теорию континуума.

Скачать книгу бесплатно (djvu, 3.00 Mb)

---

Читать «Основания интуиционистской математики с точки зрения теории рекурсивных функций»