TY  - JOUR
AU  - Horst Osswald
TI  - Ein syntaktischer Beweis für die Zulässigkeit der Schnittregel im Kalkül von Schütte für die intuitionistische Typenlogik.
JO  - Manuscripta mathematica
PY  - 1973
SP  - 243
EP  - 250
VL  - 8
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MM2_1973__8_154145/
ID  - MM2_1973__8_154145
ER  -