Mathematische Logik hat sich von einem exotischen Zweig der Mathematik zu einem unverzichtbaren Werkzeug in der Informatik sowie in anderen Bereichen der Mathematik entwickelt. Dieses knappe Buch präsentiert das Thema der mathematischen Logik auf lebendige und zugängliche Weise, obwohl Logik ein äußerst abstraktes Thema sein kann, selbst für Mathematiker.

Diese zweite Auflage von Was ist mathematische Logik?, ursprünglich vor 50 Jahren veröffentlicht, behandelt wichtige Ideen in der modernen mathematischen Logik, ohne die detaillierte mathematische Arbeit, die von Fachleuten der Logik verlangt wird. Die Ideen werden einfach und klar in einem angenehmen Stil dargestellt, und trotz der relativen Kürze des Buches wird sämtliches Grundmaterial auf diesen Seiten behandelt. Es wurden drei neue Kapitel hinzugefügt, die automatische Beweisführung, Logik jenseits der traditionellen ersten Ordnung sowie andere Logiken, einschließlich intuitionistischer, freier und modaler Logiken, behandeln.

Studierende der Informatik und mathematischen Logik werden es als eine anregende Einführung und wertvolle Ergänzung für Kurse empfinden, einschließlich aktueller Literaturhinweise in diesem lebendigen Bereich an der Schnittstelle von Mathematik, Philosophie und Informatik.

Seiten: 160, Maße: 16x16cm