Mathematische Grundlagen der Informatik Mathematisches Denken und Beweisen. Eine Einführung - Meinel, Christoph 1954- (Leitfäden der Informatik, 2002)