Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
IdM-login
German
Lehrstuhl für Informatik 8 (Theoretische Informatik)
lecture
university lecture