TY  - GEN
AU  - Richman,Fred
TI  - Constructive mathematics: proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980
T2  - Lecture notes in mathematics
SN  - 0387108505
PY  - 1981///
CY  - Berlin, New York
PB  - Springer-Verlag
KW  - Constructive mathematics
KW  - Congresses
KW  - Intuitionistic mathematics
N1  - Contine index
ER  -