TY  - BOOK
AU  - Клини, С.К.
AU  - Весли, Р.
AU  - Кабаков, Ф.А.
AU  - Кушнер, Б.А.
TI  - Основания интуиционистской математики с точки зрения теории рекурсивных функций
T2  - Математическая логика и основания математики
PY  - 1978///
CY  - Москва
PB  - Наука
KW  - Интуиционизм (филос.)
KW  - psbo
KW  - Математика
KW  - Философские проблемы
N2  - Указ. имен, предм. и обозначений: с. 267-271; Список лит.: с. 254-266
ER  -