%0 Journal Article
%A Horst Osswald
%T Ein syntaktischer Beweis für die Zulässigkeit der Schnittregel im Kalkül von Schütte für die intuitionistische Typenlogik.
%J Manuscripta mathematica
%D 1973
%P 243-250
%V 8
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MM2_1973__8_154145/
%F MM2_1973__8_154145