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) .
<br/><br/> Contine index 
<br/><br/><label>ISBN: </label>0387108505 
<br/><br/><label>LCCN: </label>81009345 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Constructive mathematics--Congresses<br/>Intuitionistic mathematics--Congresses