Constructive mathematics proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980
edited by F. Richman. --
- Berlin New York Springer-Verlag 1981
- vi, 347 p. --
- Lecture notes in mathematics 873 co75-8434 .
- Lecture notes in mathematics (Springer-Verlag) .