Intuitionism and proof theory : proceedings of the Summer Conference at Buffalo N.Y. 1968 - Kino, Akiko; Myhill, John; Vesley, Richard (Studies in logic and the foundations of mathematics, 1970)