Troelstra A. S. Ed. <br/><br/>
Matamathematical Investigation of Intuitionistic Arithmetic and Analysis 
Troelstra A. S. Ed. 
 - Berlin  Springer-verlag           1973 
 - vii, 485p.  cm. 
 - Lecture notes in mathematics; 344 .
<br/><br/><label>Standard No.: </label>19551 
<br/><br/><label>Source: </label> Textual 
<br/><br/><label>Dewey Class. No.: </label>B:(R1), L3