%0 Journal Article
%A G. Gentzen
%T Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen
%J Mathematische Annalen
%D 1933
%P 329-350
%V 107
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAN_1933__107_159597/
%F MAN_1933__107_159597