1. On the Intuitionistic Background of Gentzen's 1935 and 1936 Consistency Proofs and Their Philosophical Aspects;Annals of the Japan Association for Philosophy of Science;2018
2. From Epistemic Paradox to Doxastic Arithmetic;Logical Foundations of Computer Science;2017-11-28
3. Part III: The original writings;Sources and Studies in the History of Mathematics and Physical Sciences;2017
4. Part I: A sketch of Gentzen’s life and work;Sources and Studies in the History of Mathematics and Physical Sciences;2017
5. Gentzen’s Original Consistency Proof and the Bar Theorem;Gentzen's Centenary;2015