Intuitionism and proof theory : proceedings of the Summer Conference at Buffalo, N. Y. 1968. - Kino, A. (Studies en logic and the foundations of mathematics, 1970)