TY  - BOOK
AU  - Conference on "Constructive Mathematics Las Cruces", New Mexico, Aug. 11-15, 1980
AU  - Richman, F. ; ed.
TI  - Constructive mathematics; proceedings of the New Mexico State University conference
U1  - 511.3 
PY  - 1981///
CY  - Berlin
PB  - Springer-Verlag
ER  -