%0 Journal Article
%A R.L. GOODSTEIN
%T Logic-free formalisations of recursive arithmetic
%J Mathematica Scandinavica
%D 1954
%P 247-261
%V 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MS2_1954__2_165548/
%F MS2_1954__2_165548