%0 Journal Article
%A Wilhelm Ackermann
%T Widerspruchsfreier Aufbau einer typenfreien Logik. II.
%J Mathematische Zeitschrift
%D 1952
%P 155-166
%V 57
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZ_1952__57_169311/
%G de
%F MZ_1952__57_169311