Constructive Mathematics : proceedings of the New Mexico State university conference held at Las Cruces, New Mexico, august 11-15, 1980 - Richman, F. (Lecture notes in mathematics, 1981)