Mathematische Grundlagen der Informatik mathematisches Denken und Beweisen ; eine Einführung - Meinel, Christoph 1954-; Mundhenk, Martin 1961-2024 (Teubner, 2006)
Keywords: Graphentheorie; Mathematische Logik; Informatik; Beweis; Mathematik; Boolesche Algebra; Mengenlehre