@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},
     publisher = {mathdoc},
     volume = {14},
     year = {1971},
     zbl = {0235.02023},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1971__14_137848/}
}