Intuitionism and proof theory proceedings of the summer conference at buffalo N.Y. 1968 - Conference on Intuitionism and Proof Theory, State University of New York at Buffalo, 1968 (Amsterdam North-Holland Pub. Co., 1970)
Keywords: Logic, Symbolic and mathematical -- Congresses