Mathematische Grundlagen der Informatik mathematisches Denken und Beweisen ; eine Einführung - Meinel, Christoph 1954-; Mundhenk, Martin 1961-2024 (Leitfäden der Informatik, 2006)