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