Die Vorlesung "Logik für Informatiker'' beginnt Donnerstag, den 13.10 um 10.00 Uhr. Veranstaltungsort: HS 301, Pohlighaus.