%0 Journal Article
%A W. ACKERMANN
%T Untersuchungen über das Eliminationsproblem der mathematischen Logik
%J Mathematische Annalen
%D 1935
%P 390-413
%V 110
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAN_1935__110_159730/
%F MAN_1935__110_159730