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

Zbl 
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/
@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},
     year = {1973},
     volume = {8},
     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
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
%U http://geodesic.mathdoc.fr/item/MM2_1973__8_154145/
%F MM2_1973__8_154145