Constructive mathematics proceedings - Richman F ed.; New Mexico State University Conference on Constructive Mathematics( 1980 : Las Cruces,New Mexico ); New Mexico State University Conference on Constructive Mathematics Las Cruces, New Mexico 1980 (Berlin Springer-Verlag, 1981)
Keywords: Constructive mathematics; Mathematical logic