auf die Schwierigkeiten des mathe­ matisch nicht vorgebildeten Lesers im Umgang mit Formalismen und entwickelt die Methode der Formalisierung in aller AusfUhrlichkeit. Unter diesem didaktischen Gesichtspunkt wird auch nicht so sehr Wert gelegt auf die schnelle Gewinnung von Resultaten, als auf die grUndliche EinUbung der Methoden, mit denen sie gewonnen werden. Daher werden gelegentlich verschiedene Beweise fUr das gleiche Resultat angegeben und Semantik wie Beweisbegriff der elementaren Logik werden auf verschiedenen Wegen aufgebaut. Besonderer Wert wird auch auf die semantische Deutung der Formalismen gelegt, die gleichwertig neb en der Beweistechnik steht, und auf die Methoden des natUrlichen SchlieBens, die sowohl fUr die Anwendungen wie auch fUr die BegrUndung der Logik wichtig sind. Einfache Dbungsaufgaben am Ende der einzelnen Ab­ schnitte sollen dem Leser die Moglichkeit geben, sein Verstandnis der Darlegungen zu kontrollieren und zu vertiefen.