| 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.) |