%0 Journal Article
%A R.L. Goodstein
%T Models of Propositional Calculi in Recursive Arithmetic.
%J Mathematica Scandinavica
%D 1958
%P 293-296
%V 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MS2_1958__6_165695/
%F MS2_1958__6_165695