Tourlakis, G. (2016) “A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs”, Bulletin of the Section of Logic, 45(1), pp. 17–31. doi: 10.18778/0138-0680.45.1.02.