| К49 |
Клини, С.
Основания интуиционистской математики с точки зрения теории рекурсивных функций [Текст] / С. Клини, Р. Весли ; пер. с англ. Ф. А. Кабанова, Б. А. Кушнера. – М. : Наука, 1978. – 272 с. – (Математическая логика и основания математики). – 15.00.
В книге детально излагается принадлежащая Клини формализация интуиционистского анализа и рассматриваются интерпретации этого формализма средствами теории рекурсивных функций. На этой основе устанавливается ряд интересных математических результатов.
|
