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 (Mar. 2016), 17–31. DOI:https://doi.org/10.18778/0138-0680.45.1.02.