Troelstra, A. S. <br/><br/>
Constructivism in mathematics:  an introduction/ 
A.S. Troelstra, D. van Dalen. 
 - Amsterdam;  New York:  New York:  North-Holland,  Sole distributors for the U.S.A. and Canada, Elsevier Science,  1988. 
 - 2 v. (xx, 879, lii p.):  ill.;  23 cm. 
 - Studies in logic and the foundations of mathematics;  v. 121; 123. .
 - Studies in logic and the foundations of mathematics;  v. 121. .
<br/><br/>Includes bibliographies and indexes. 
<br/><br/><label>ISBN: </label>0444702660 (v. 1) 
<br/><br/><label>LCCN: </label>88005240 //r89 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Constructive mathematics.<br/>Logica Matematica.<br/>Teoria Dos Conjuntos (Textos Introdutorios)
<br/><br/><label>Dewey Class. No.: </label>511.3  / T843c