Title: Mathematische Grundlagen der Informatik
Subjects: Beweis, Mathematische Logik, Mengenlehre, Graphentheorie, Boolesche Algebra