Mathematische Grundlagen der Informatik Mathematisches Denken und Beweisen - eine Einführung - Meinel, Christoph 1954- (Springer Vieweg, 2024)