TY  - BOOK
AU  - Мартин-Леф,Пьер
AU  - Минц,Г.Е.
AU  - Драгалина,А.Г.
TI  - Очерки по конструктивной математики: Пер. с англ. 
PY  - 1975///
CY  - Москва
PB  - Мир
KW  - Высшая математика
ER  -