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