Tourlakis, George. 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):17–31. https://doi.org/10.18778/0138-0680.45.1.02.