TY  - BOOK
AU  - Клини,Стефен Коул
AU  - Весли,Ричард
AU  - Кабаков,Ф.А.
AU  - Кушнер,Б.А.
TI  - Основания интуиционистской математики с точки зрения теории рекурсивных функций
T2  - Математическая логика и основания математики
PY  - 1978///
CY  - Москва
PB  - Наука
N1  - Пер. изд.: The foundations of intuitionistic matcs especially in recursive functions / S.C. Kleene, R.E. Vesley (Amsterdam, 1965); Указ. имен, предм. и обозначений: с. 267-271; Библиогр.: с. 254-266
ER  -