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