Intuitionism and proof theory : proceedings of the Summer Conference at Buffalo, N. Y. 1968. - Kino, A. (North Holland, 1970)