TY  - BOOK
AU  - Мартин-Леф, П.
AU  - Драгалин, А.Г.
AU  - Минц, Г.Е.
TI  - Очерки по конструктивной математике
T2  - Библиотека сборника "Математика"
PY  - 1975///
CY  - Москва
PB  - Мир
KW  - Конструктивная математика
KW  - psbo
N2  - Список лит.: с. 128-131; Указ.: с. 132-134
ER  -