Die ist die Homepage des Seminars "Logik für Fortgeschrittene" im Wintersemester 2011.
Heike Mildenberger.
Martin Ziegler.
Tutorium
Jeff Serbus, Raum 305, nach Vereinbarung
In diesem Seminar lernen wir Beweistheorie.
Hier ist die
Ankündigung aus
dem Kommentierten Vorlesungsverzeichnis vom 6.7.2011.
Zeit und Ort
Di 14-16, SR 318 in der Eckerstr. 1
Vorbesprechung
Mittwoch 3.8.2011, 15 Uhr, in Raum 310.
Moved to
Logikseminar für Fortgeschrittene
