1. [Akiyoshi 2010] Akiyoshi, Ryota, “Gentzen's First Consistency Proof Revisited”, in CARLS Series of Advanced Study of Logic and Sensibility Vol.4, Keio University, Centre for Advanced Research on Logic and Sensibility, Tokyo (2010), pp.315-324.
2. [AR 2001] Avigad, Jeremy, and Reck, Erich H., ““Clarifying the nature of the infinite”: the development of metamathematics and proof theory”, Carnegie Mellon Technical Report CMU-PHIL-120, 2001.
3. [Bernays 1970] Bernays, Paul, “On the original Gentzen consistency proof for number theory”, in Intuitionism and proof theory, A. Kino, J. Myhill, and R. Vesley (eds.), North-Holland, Amsterdam (1970), pp.409-417.
4. [Brouwer 1922] Brouwer, L. E. J., “Intuitionistische Mengenlehre”, KNAW Proceedings, 23 (1922), 949-954.
5. [Brouwer 1923] Brouwer, L. E. J., “Über die Bedeutung des Satzes vom ausgeschlossenen Dritten in der Mathematik, insbesondere in der Funktionentheorie”, Journal für die reine und angewandte Mathematik, 154 (1923), 1-7.