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.;  25 cm. 
 - Lecture notes in mathematics;  873. .
 - Lecture notes in mathematics (Springer-Verlag);  873. .
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>0387108505 (pbk. : New York) 
<br/><br/><label>LCCN: </label>81009345 //r87 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Constructive mathematics---Congresses.<br/>Intuitionistic mathematics---Congresses.
<br/><br/><label>Dewey Class. No.: </label>510 s  511.3