TY  - BOOK
TI  - Constructive Mathematics. Proceedings of the New Mexico State University Conference held at Las Cruces, New Mexico, August 11 - 15, 1980
U1  - 510.2 
PY  - 1981///
CY  - Berlin
PB  - Springer-Verlag
N1  - Lecture Notes in Mathematics. Vol. 873
ER  -