Tourlakis G. A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs. B Sect Log [Internet]. 2016 Mar. 30 [cited 2024 May 1];45(1):17–31. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/1475