Author: Conference on Intuitionism and Proof Theory, State University of New York at Buffalo 1968