Die Vorlesung Automaten, Logiken und unendliche Spiele ist eine Schwerpunktvorlesung im Hauptstudium.