%0 Journal Article
%A Tourlakis, George
%T A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs
%J Bulletin of the Section of Logic
%D 2016
%V 45
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BSL_2016_45_1_a0/
%G en
%F BSL_2016_45_1_a0