Tourlakis, George. “A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs”. Bulletin of the Section of Logic 45, no. 1 (March 30, 2016): 17–31. Accessed May 1, 2024. https://czasopisma.uni.lodz.pl/bulletin/article/view/1475.