Troelstra, A. S. <br/><br/>
Constructivism in mathematics :  an introduction / 
A. S. Troelstra, D. Van Dalen 
 - Amsterdam :  North-Holland,  1988 
 - v. :  ill. ;  24 cm. 
 - Studies in logic and the foundations of mathematics ;  121, 123 .
<br/><br/>Bibliography : p. 327-342 
<br/><br/><label>ISBN: </label>0444702660 
<br/><br/><label>LCCN: </label>88-5240 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Construction mathematics