Grundzüge der Mathematischen Logik: Grundlehren der mathematischen Wissenschaften, cartea 106

§ 1. Prolegomena.- § 2. Einführung in die Satzlogik.- § 3. Einführung in die Regellogik. Der Zusammenhang von Satzlogik und Regellogik.- § 4. Aufgabe und Charakter einer mathematischen Logik.- § 5. Grundlagen einer metasprachlichen Aussagentheorie.- § 6. Zur Logik und Symbolik der Metasprache.- § 7. Zeichen für Zeichen.- Erstes Hauptstück: Aussagenkalkül.- A) Konstituierung des Aussagenkalküls.- B) Semantik.- C) Deduktionstheoretische Betrachtungen.- Zweites Hauptstück: Prädikatenkalkül.- A) Allgemeine Grundlegung.- B) Semantik.- C) Syntax.- D) Beziehungen zwischen Semantik und Syntax im PFK.- Drittes Hauptstück: Prädikatenkalkül mit Identität (I-Kalkül).- A) Allgemeine Grundlegung.- B) Semantik.- C) Syntax.- D) Beziehungen zwischen Syntax und Syntax im IFK.- Viertes Hauptstück: Einführung in die Stufenlogik.- A) Die Logik der zweiten Stufe.- B) Die volle Typentheorie.- C) Erweiterungen der Typenlogik.- Fünftes Hauptstück: Die Theoreme von Church und Gödel.- § 230. Einleitung: Unmöglichkeitstheoreme.- § 231. Charakterisierung von arithmetischen Attributen im PFK*.- § 232. Vorläufige Definition von 1D518. Das Diagonalverfahren.- § 233. Die Arithmetisierung: Definition von H(m).- § 234. Reguläre Definitionen zur Arithmetisierung.- § 235. Die regulären Definitionen von echt regulären Attributen.- § 236. Argumente für die Angemessenheit der regulären Definitionen als Normalform für Aufzählungsverfahren.- § 237. Die Unentscheidbarkeit des Prädikatenkalküls.- § 238. Die Nichtaxiomatisierbarkeit der Stufenlogik.- Anhang: Regellogik.- § 250. Einführung in die Regellogik.- § 251. Der aussagenlogische Sequenzenkalkül (ASK).- § 252. Erweiterung zum Konsequenzenkalkül für die PL (PSK).- Namen- und Sachverzeichnis.