Mathematische Logik

Dieses Buch bietet eine Einfhrung in die verschiedenen Aspekte der mathematischen Logik, die jeder Mathematiker und Informatiker kennen sollte. Nach dem Prdikatenkalkl und seinen Anwendungen auf die Anfnge der knstlichen Intelligenz wird die Mengenlehre axiomatisch dargestellt. Im dritten und vierten Teil werden die notwendigen Grundbegriffe der Berechenbarkeitstheorie und die Hierarchie der in den natrlichen Zahlen definierbaren Teilmengen eingefhrt, um schlielich die Gdelschen Unvollstndigkeitsstze zu beweisen. Durch seinen klaren Stil und die eingefgten bungsaufgaben ist dieses Buch eine konzise Einfhrung in diese Grundlagen der gesamten Mathematik. Fr die zweite Auflage wurde an einigen Stellen wurde die Darstellung verbessert und eine Reihe von Fehlern,insbesondere in den Aufgaben, korrigiert.