%0 Journal Article
%A Georg Kreisel
%T Some concepts concerning formal systems on number theory.
%J Mathematische Zeitschrift
%D 1952
%P 1-12
%V 57
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZ_1952__57_169302/
%F MZ_1952__57_169302