Intuitionism and proof theory Proceedings of the summer conference at buffalo N.Y.1968. - Kino A Ed.; Myhill J Ed. (London North Holland Publishing, 1970)