Ein syntaktischer Beweis für die Zulässigkeit der Schnittregel im Kalkül von Schütte für die intuitionistische Typenlogik.
Osswald, Horst
Manuscripta mathematica, Tome 11 (1973), p. 243-250 / Harvested from Göttinger Digitalisierungszentrum
Access to full text
Publié le : 1973-01-01
EUDML-ID : urn:eudml:doc:154145 
@article{GDZPPN002217074,
     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},
     volume = {11},
     year = {1973},
     pages = {243-250},
     zbl = {0255.02024},
     url = {http://dml.mathdoc.fr/item/GDZPPN002217074}
}

Osswald, Horst. Ein syntaktischer Beweis für die Zulässigkeit der Schnittregel im Kalkül von Schütte für die intuitionistische Typenlogik.. Manuscripta mathematica, Tome 11 (1973) pp. 243-250. http://gdmltest.u-ga.fr/item/GDZPPN002217074/