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,  1970. 
 - viii, 516 p.:  23 cm. 
 - Studies in logic and the foundations of mathematics .
<br/><br/>Includes bibliographies. 
<br/><br/><label>LCCN: </label>77097196 //r884 
<br/><br/><label>Nat. Bib. No.: </label>Ne70-33 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Intuitionistic mathematics---Congresses.
<br/><br/><label>Dewey Class. No.: </label>511.3  / I61