Metamathematical investigation of intuitionistic arithmetic and analysis / 
edited by A.S. Troelstra . 
 - Berlin :  Springer-Verlag,  1973. 
 - xvii, 485 p. : 
<br/><br/><label>ISBN: </label>3540064915 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Intuitionistic mathematics.
<br/><br/><label>Dewey Class. No.: </label>511.22  / Me