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

@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},
     publisher = {mathdoc},
     volume = {14},
     year = {1971},
     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
PB  - mathdoc
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
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1971__14_137853/
%F AMLG_1971__14_137853
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/