Geodesic
Schnittelimination in einem Teilsystem der einfachen Typenlogik.
Archiv für mathematische Logik und Grundlagenforschung, Tome 12 (1969), pp. 159-178.

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

Mots-clés : general logic 
@article{AMLG_1969__12_137828,
     author = {Wolfgang Bibel},
     title = {Schnittelimination in einem {Teilsystem} der einfachen {Typenlogik.}},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {159--178},
     publisher = {mathdoc},
     volume = {12},
     year = {1969},
     zbl = {0198.32102},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1969__12_137828/}
}
TY  - JOUR
AU  - Wolfgang Bibel
TI  - Schnittelimination in einem Teilsystem der einfachen Typenlogik.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1969
SP  - 159
EP  - 178
VL  - 12
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1969__12_137828/
ID  - AMLG_1969__12_137828
ER  - 
%0 Journal Article
%A Wolfgang Bibel
%T Schnittelimination in einem Teilsystem der einfachen Typenlogik.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1969
%P 159-178
%V 12
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1969__12_137828/
%F AMLG_1969__12_137828
Wolfgang Bibel. Schnittelimination in einem Teilsystem der einfachen Typenlogik.. Archiv für mathematische Logik und Grundlagenforschung, Tome 12 (1969), pp. 159-178. http://geodesic.mathdoc.fr/item/AMLG_1969__12_137828/