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

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

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