Logikseminar für Fortgeschrittene Wintersemester 2011

Universitätssiegel
Institut Math. Logik        

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

© May 2008 H.M., last update on July 21, 2011