Constructive mathematics :  proceedings of the New Mexico State University Conference held at Las Cruces, New Mexico, August 11-15, 1980 / 
ed. by F. Richman. 
 - Berlin [etc.] :  Springer-Verlag,  1981. 
 - VI, 347 s. :  il. ;  24 cm. 
 - Lecture Notes in Mathematics ;  873 .
 - Lecture Notes in Mathematics  873 .
<br/><br/>Bibliogr. po ref. 
<br/><br/>
<br/><br/><label>ISBN: </label>3540108505 0387108505 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Matematyka konstruktywna--konferencje.<br/>Intuicjonizm matematyczny--konferencje.