Albert-Ludwigs-Universität Freiburg | |
Institut für mathematische Logik und Grundlagen der Mathematik |
Zeit: Mi 11-13
Ort: SR 318 Eckerstr. 1
Es sollen neuere Arbeiten auf dem Gebiet der Endlichen Modelltheorie besprochen werden.
Interessierte können sich an einen der Veranstalter wenden.