Intuitionism and proof theory :  Proceedings of the Summer Conference at Buffalo N. Y. 1968 / 
edited by A. Kino, J. Myhill and R. E. Vesley. 
 - Amsterdam :  North-Holland Pub.,  1970. 
 - viii, 516 p. ;  23 cm. 
 - Studies in logic and the foundations of mathematics .
 - Studies in logic and the foundations of mathematics. .
<br/><br/>Includes bibliographies. 
<br/><br/><label>ISBN: </label>0720422574 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical--Congresses.