Geodesic
Mehrsortige logische Systeme mit unendlich langen Formeln I.
Archiv für mathematische Logik und Grundlagenforschung, Tome 14 (1971), pp. 38-53 Cet article a éte moissonné depuis la source European Digital Mathematics Library

Voir la notice de l'article

@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
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/