Troelstra, A. S.    ed. <br/><br/>
Mathematical investigation of intuitionistic arithmetic and analysis   

 - Berlin  Springer-Verlag  1973 
 - xvii, 485p., Index 
 - Lecture notes in Mathematics   344 .
<br/><br/>  
<br/><br/><label>Dewey Class. No.: </label>511.3  / T843.MI