%0 Journal Article
%A K. Schütte
%T Zur Widerspruchsfreiheit einer typenfreien Logik.
%J Mathematische Annalen
%D 1952
%P 394-400
%V 125
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAN_1952__125_160320/
%F MAN_1952__125_160320