TY  - BOOK
AU  - Orevkov V P ed.
ED  - 
TI  - Problems in the constructive trend in mathematics : proceedings
SN  - 0-8218-3013-1
U1  - 511.3 
PY  - 1972///
CY  - Providence
PB  - A M S
KW  - Constructive mathematics
KW  - Mathematical logic
ER  -