Geodesic
Eine Verallgemeinerung des Hauptsatzes von Gentzen.
Archiv für mathematische Logik und Grundlagenforschung, Tome 12 (1969), pp. 134-150.

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

Mots-clés : general logic 
@article{AMLG_1969__12_137825,
     author = {Peter Zahn},
     title = {Eine {Verallgemeinerung} des {Hauptsatzes} von {Gentzen.}},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {134--150},
     publisher = {mathdoc},
     volume = {12},
     year = {1969},
     zbl = {0198.01401},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1969__12_137825/}
}
TY  - JOUR
AU  - Peter Zahn
TI  - Eine Verallgemeinerung des Hauptsatzes von Gentzen.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1969
SP  - 134
EP  - 150
VL  - 12
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1969__12_137825/
ID  - AMLG_1969__12_137825
ER  - 
%0 Journal Article
%A Peter Zahn
%T Eine Verallgemeinerung des Hauptsatzes von Gentzen.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1969
%P 134-150
%V 12
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1969__12_137825/
%F AMLG_1969__12_137825
Peter Zahn. Eine Verallgemeinerung des Hauptsatzes von Gentzen.. Archiv für mathematische Logik und Grundlagenforschung, Tome 12 (1969), pp. 134-150. http://geodesic.mathdoc.fr/item/AMLG_1969__12_137825/