Geodesic
Vollständigkeit und Schnittelimination in der intuitionistischen Typenlogik.
Manuscripta mathematica, Tome 6 (1972), pp. 17-32.

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

@article{MM2_1972__6_154084,
     author = {Horst Osswald},
     title = {Vollst\"andigkeit und {Schnittelimination} in der intuitionistischen {Typenlogik.}},
     journal = {Manuscripta mathematica},
     pages = {17--32},
     publisher = {mathdoc},
     volume = {6},
     year = {1972},
     zbl = {0239.02015},
     url = {http://geodesic.mathdoc.fr/item/MM2_1972__6_154084/}
}
TY  - JOUR
AU  - Horst Osswald
TI  - Vollständigkeit und Schnittelimination in der intuitionistischen Typenlogik.
JO  - Manuscripta mathematica
PY  - 1972
SP  - 17
EP  - 32
VL  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MM2_1972__6_154084/
ID  - MM2_1972__6_154084
ER  - 
%0 Journal Article
%A Horst Osswald
%T Vollständigkeit und Schnittelimination in der intuitionistischen Typenlogik.
%J Manuscripta mathematica
%D 1972
%P 17-32
%V 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MM2_1972__6_154084/
%F MM2_1972__6_154084
Horst Osswald. Vollständigkeit und Schnittelimination in der intuitionistischen Typenlogik.. Manuscripta mathematica, Tome 6 (1972), pp. 17-32. http://geodesic.mathdoc.fr/item/MM2_1972__6_154084/