Logic and Structure

Das beliebte Lehrbuch "Logik und Struktur" von Dirk van Dalen, jetzt in der fünften Auflage, bietet eine umfassende Einführung in die Grundlagen der klassischen und intuitionistischen Logik, der Modellt theorie und des berühmten Unvollständigkeitssatzes von Gödel. Die Aussagen- und Prädikatenlogik werden in einem leicht verständlichen Stil unter Verwendung der natürlichen Deduktion von Gentzen präsentiert. Das Buch behandelt einige grundlegende Konzepte und Fakten der Modelltheorie, einschliesslich einer Diskussion über Kompaktheit, Skolem-Löwenheim, nicht-standardisierte Modelle und Quantorenelimination. Die Diskussion über klassische Logik wird mit einer prägnanten Darstellung der Logik zweiter Ordnung abgeschlossen. Angesichts der wachsenden Anerkennung konstruktiver Methoden und Prinzipien werden die intuitionistische Logik und die Kripke-Semantik sorgfältig untersucht. Eine Reihe spezifischer konstruktiver Merkmale, wie Unterscheidbarkeit und Gleichheit, die Gödel-Übersetzung sowie die Disjunktions- und Existenz-Eigenschaft sind ebenfalls enthalten.