Paul Bernays “On the Original Gentzen Consistency Proof of Number Theory”, in: A. Kino, J. Myhill and R.E. Vesley ed., Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo, N.Y., 1968, North-Holland, Studies in Lo…