Metamathematical investigation of intuitionistic artithmetic and analysis/ 
A. S. Troelstra (editor). 
 - Berlin:  Springer-Verlag,  1973. 
 - xvii, 485 p. ;  24 cm. 
 - Lecture notes in mathematics (Springer-Verlag);  344. .
<br/><br/>Includes bibliographical references (p. [462]-475). 
<br/><br/><label>ISBN: </label>3540064915 (Berlin) 0387064915 
<br/><br/><label>LCCN: </label>73014238 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Intuitionistic mathematics.