Mathematical investigation of institutionstic arithmatic and analysis   
ed. by A.S.Troelstra 
 - Berlin  Springer-Verlag  1973 
 - xvii, 485p. 
 - Lecture Notes in Mathematics 344 .
<br/><br/><label>ISBN: </label>3540064915 
<br/><br/><label>Dewey Class. No.: </label>513  / N73