Troelstra, A. S. <br/><br/>
Constructivism in mathematics :  an introduction, V1 
A.S. Troelstra, D. van Dalen. 
 - Amsterdam ;  New York :  New York, N.Y. :  North-Holland ;  Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,  1988. 
 - 2 v. xv, 342p.  ill. ; 
 - Studies in logic and the foundations of mathematics ;  v. 121; 123 .
<br/><br/><label>Subjects--Topical Terms: </label><br/>Constructive mathematics.
<br/><br/><label>Universal Decimal Class. No.: </label>510.25   / TRO.1