Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD) |
Publikationstyp | Buchaufsatz |
Publikationsjahr | 1989 |
Sprache | Englisch |
Identifikator | KITopen-ID: 94489 |
Erscheinungsvermerk | In: Proceedings of the 7th Easter Conference on Model Theory, Wendisch-Rietz 1989. Ed.: B. Dahn. Berlin 1988. S. 81-105. (Seminarberichte der Humboldt-Universitaet zu Berlin, Sekt. Mathematik. 104.) |