Logik und Mengenlehre
摘要
Logik und Mengenlehre stellen grundlegende Begriffe und Denkweisen bereit, die für alle Gebiete der Mathematik von besonderer Bedeutung sind, da sie formale Schlussweisen liefern, um von wahren Aussagen zu daraus abgeleiteten wahren Aussagen zu gelangen und es gleichzeitig gestatten, komplizierte Zusammenhänge in kurzer und übersichtlicher Weise darzustellen. Ferner liefert die Logik die Rechtfertigung für verschiedene Beweistechniken. Die zahlreichen Beispiele und Übungsaufgaben befassen sich sowohl mit der Aussagenlogik als auch mit Mengenlehre.