Mathematik für Informatiker 1 <Die> Methode der Mathematik (Informatik-Fachberichte, 1980)