Intuitionism and proof theory proceedings of the summer conference at buffalo N.Y. 1968 (Studies in logic and the foundations of mathematics, 1970)