Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
IdM-Anmeldung
Deutsch
Lehrstuhl für Informatik 8 (Theoretische Informatik)
MultiMediaZentrum
Vorlesung
universitäre Vorlesung