Constructive Mathematics. Proceedings of the New Mexico State University Conference held at Las Cruces, New Mexico, August 11 - 15, 1980. 

 - Berlin  Springer-Verlag  1981 
 - 347 p. 
<br/><br/> Lecture Notes in Mathematics. Vol. 873 
<br/><br/><label>Dewey Class. No.: </label>510.2