Heinz-Dieter Ebbinghaus Poradie kníh (chronologicky)

Die Mengenlehre ist eine eigenständige mathematische Disziplin. Zugleich ist sie eine Grundlagendisziplin, die für alle mathematischen Gebiete ein begriffliches Gerüst bereithält. In dieser Universalität offenbart sich eine große Tragweite des Mengenbegriffs und seiner Axiomatisierung. Die vorliegende Einführung gibt daher nicht nur einen Einblick in die Theorie und belegt deren Bedeutung für die Mathematik, sie behandelt auch Methoden und Ergebnisse, die auf eine möglichst weitgehende Rechtfertigung der mengentheoretischen Axiomsysteme zielen. Geschichtliche und erkenntnistheoretische Betrachtungen runden das Bild ab. Das Buch setzt keine spezifischen mathematischen Kenntnisse voraus. Es richtet sich an alle, die an den Grundlagen der Mathematik interessiert und mit Gedankengängen mathematischer Prägung vertraut sind. Rund 200 Übungsaufgaben mit Lösungshinweisen bieten eine zusätzliche Hilfe, insbesondere dann, wenn man das Buch zur eigenständigen Erarbeitung des dargebotenen Stoffes nutzen möchte. Die Neuauflage ist vollständig durchgesehen und enthält jetzt eine systematische Behandlung der konstruktiblen Hierarchie, die Beweise der relativen Widerspruchsfreiheit des Auswahlaxioms und der Cantorschen Kontinuumshypothese erlaubt.

Aus den Besprechungen: "Ein Mathematikbuch der Superlativen, für Mathematiker (jeder Schattierung) und Nichtmathematiker (denen völlig unbekannte Dimensionen der Mathematik eröffnet werden - künstlerische, magische, historische, philosophische, wissenschaftstheoretische, "unlogische", phantasieerfüllte usw.). Der Aufbau ist meisterhaft, die Lektüre höchst anregend und leicht lesbar." Monatshefte für Mathematik #1 "Ein gelungenes Werk, das dem Vorurteil entgegenwirkt, Mathematik bestehe nur aus isolierten Theorien." Die NEUE HOCHSCHULE #1 "Das Lesen ist ein Genuß, den man sich nicht entgehen lassen sollte." Jahresbericht der Deutschen Mathematiker-Vereinigung #1

This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraïssé's characterization of elementary equivalence, Lindström's theorem on the maximality of first-order logic, and the fundamentals of logic programming.