Клини С., Весли Р., Основания интуиционистской математики с точки зрения теории рекурсивных функций. Перевод с английского. Серия Математическая логика и основания математики.
1978, изд-во: Наука., город: Москва., стр. : 272 стр., обложка: Твердый издательский переплет с суперобложкой, формат: Обычный, состояние: Отличное. . В этой книге детально излагается принадлежащая Клини формализация интуиционистского анализа и рассматриваются интерпретации этого формализма средствами теории рекурсивных функций. На этой основе устанавливается ряд интересных метаматематических результатов. Одна из глав посвящена изложению средствами развиваемой в книге формальной системы брауэровской теории континуума.
