Intuitionism and Proof Theory Proceedings of the Summer Conference at Buffalo, N.Y., 1968