TY  - BOOK
AU  - Клини,С.
AU  - Весли,Р.
AU  - Кабаков,Ф.А
AU  - Кушнер,Б.А.
TI  - Основания интуиционистической математики с точки зрения теории рекурсивных функций: Пер. с англ. 
PY  - 1978///
CY  - Москва
PB  - Наука. Гл. ред. физ.-мат. лит.
KW  - Математика
ER  -