Troelstra, A. S. <br/><br/>
Constructivism in mathematics:  an introduction / 
A.S. Troelstra and D. van Dalen. 
 - Amsterdam :  North-Holland,  1988. 
 - v. :  ill. 
 - Studies in logic and the foundations of mathematics ;  v.123 .
 - Studies in logic and the foundations of mathematics ;  v. 121, etc. .
<br/><br/><label>ISBN: </label>
<br/><br/><label>LCCN: </label>88900915     
<br/><br/><label>Subjects--Topical Terms: </label><br/>Constructive mathematics.