Geodesic
Ein syntaktischer Beweis für die Zulässigkeit der Schnittregel im Kalkül von Schütte für die intuitionistische Typenlogik.
Manuscripta mathematica, Tome 8 (1973), pp. 243-250.

Voir la notice de l'article provenant de la source European Digital Mathematics Library

@article{MM2_1973__8_154145,
     author = {Horst Osswald},
     title = {Ein syntaktischer {Beweis} f\"ur die {Zul\"assigkeit} der {Schnittregel} im {Kalk\"ul} von {Sch\"utte} f\"ur die intuitionistische {Typenlogik.}},
     journal = {Manuscripta mathematica},
     pages = {243--250},
     publisher = {mathdoc},
     volume = {8},
     year = {1973},
     zbl = {0255.02024},
     url = {http://geodesic.mathdoc.fr/item/MM2_1973__8_154145/}
}
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  - 
%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
Horst Osswald. Ein syntaktischer Beweis für die Zulässigkeit der Schnittregel im Kalkül von Schütte für die intuitionistische Typenlogik.. Manuscripta mathematica, Tome 8 (1973), pp. 243-250. http://geodesic.mathdoc.fr/item/MM2_1973__8_154145/