Mathematische Grundlagen Der Informatik: Mathematisches Denken Und Beweisen, 5. Auflage 2011