Vol. 873. Richman, F. (Ed.) 
Constructive Mathematics: Proceedings of the New Mexico State University Conference held at Las Cruces, New Mexico, August 11-15, 1980 
QA9.56 C64