Algorithmische Modelltheorie: Vorlesung (Mo, 02.12.2019)