%0 Journal Article
%A Wilhelm Ackermann
%T Widerspruchsfreier Aufbau einer typenfreien Logik.
%J Mathematische Zeitschrift
%D 1951
%P 364-384
%V 55
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZ_1951__55_169263/
%F MZ_1951__55_169263