Geodesic
Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle.
Archiv für mathematische Logik und Grundlagenforschung, Tome 12 (1969), pp. 104-118

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

Zbl
Mots-clés : general logic 
Franz v. Kutschera. Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle.. Archiv für mathematische Logik und Grundlagenforschung, Tome 12 (1969), pp. 104-118. http://geodesic.mathdoc.fr/item/AMLG_1969__12_137823/
@article{AMLG_1969__12_137823,
     author = {Franz v. Kutschera},
     title = {Ein verallgemeinerter {Widerlegungsbegriff} f\"ur {Gentzenkalk\"ule.}},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {104--118},
     year = {1969},
     volume = {12},
     zbl = {0198.01304},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1969__12_137823/}
}
TY  - JOUR
AU  - Franz v. Kutschera
TI  - Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1969
SP  - 104
EP  - 118
VL  - 12
UR  - http://geodesic.mathdoc.fr/item/AMLG_1969__12_137823/
ID  - AMLG_1969__12_137823
ER  - 
%0 Journal Article
%A Franz v. Kutschera
%T Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1969
%P 104-118
%V 12
%U http://geodesic.mathdoc.fr/item/AMLG_1969__12_137823/
%F AMLG_1969__12_137823