Aktuelles zur Vorlesung
Logische Grundlagen der Informatik
im Sommersemester 2007