TY  - BOOK
ED  - Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo).
TI  - Intuitionism and proof theory: Proceedings of the Summer Conference at Buffalo N. Y. 1968 
T2  - Studies in logic and the foundations of mathematics
SN  - 0720422574
PY  - 1970///
CY  - Amsterdam
PB  - North-Holland Pub.
KW  - Logic, Symbolic and mathematical
KW  - Congresses
N1  - Includes bibliographies
ER  -