%0 Journal Article
%A W. ACKERMANN
%T Beiträge zum Entscheidungsproblem der mathematischen Logik
%J Mathematische Annalen
%D 1936
%P 419-432
%V 112
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAN_1936__112_159835/
%F MAN_1936__112_159835