Intuitionism and proof theory. : Proceedings of the summer conference at Buffalo, N.Y., 1968 / - Kino, A.; Myhill, John.; Vesley, Richard Eugene (North-Holland Pub. Co., 1970)