00545nam a2200169Ia 4500 511.3 C748.CM Conference on "Constructive Mathematics Las Cruces", New Mexico, Aug. 11-15, 1980 Constructive mathematics; proceedings of the New Mexico State University conference Ed. by F. Richman Berlin Springer-Verlag 1981 vii, 347p. Lecture notes in Mathematics 873 Richman, F. ; ed. 0 0 0 0 ISI ISI 1998-09-07 0 511.3 C748.CM DP17590 2019-02-14 00:00:00 2019-02-14 BK 8718 8718 8718