Geodesic
Mehrsortige logische Systeme mit unendlich langen Formeln II.
Archiv für mathematische Logik und Grundlagenforschung, Tome 14 (1971), pp. 108-126

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

Zbl 
Werner Carstengerdes. Mehrsortige logische Systeme mit unendlich langen Formeln II.. Archiv für mathematische Logik und Grundlagenforschung, Tome 14 (1971), pp. 108-126. http://geodesic.mathdoc.fr/item/AMLG_1971__14_137853/
@article{AMLG_1971__14_137853,
     author = {Werner Carstengerdes},
     title = {Mehrsortige logische {Systeme} mit unendlich langen {Formeln} {II.}},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {108--126},
     year = {1971},
     volume = {14},
     zbl = {0235.02023},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1971__14_137853/}
}
TY  - JOUR
AU  - Werner Carstengerdes
TI  - Mehrsortige logische Systeme mit unendlich langen Formeln II.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1971
SP  - 108
EP  - 126
VL  - 14
UR  - http://geodesic.mathdoc.fr/item/AMLG_1971__14_137853/
ID  - AMLG_1971__14_137853
ER  - 
%0 Journal Article
%A Werner Carstengerdes
%T Mehrsortige logische Systeme mit unendlich langen Formeln II.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1971
%P 108-126
%V 14
%U http://geodesic.mathdoc.fr/item/AMLG_1971__14_137853/
%F AMLG_1971__14_137853