Algorithmische Modelltheorie: Vorlesung (Mo, 18.11.2019)

Kapitel:

00:02:43
Beispiel (Satz von Hanf)
00:07:22
Beweis (Satz von Hanf)
00:30:19
Satz von Gaifman