Conference on "Constructive Mathematics Las Cruces", New Mexico, Aug. 11-15, 1980 <br/><br/>
Constructive mathematics; proceedings of the New Mexico State University conference   
Ed. by F. Richman 
 - Berlin  Springer-Verlag  1981 
 - vii, 347p. 
 - Lecture notes in Mathematics  873 .
<br/><br/>  
<br/><br/><label>Subjects--Index Terms: </label>
<br/><br/><label>Dewey Class. No.: </label>511.3  / C748.CM