Einführung in die Mathematische Logik

Inhaltsverzeichnis

• § 1. Attribute und Quantifizierungsfunktionen.
• § 2. Ausdrücke einer elementaren Sprache.
• § 3. Interpretation der Ausdrücke einer elementaren Sprache.
• § 4. Reduktions- und Repräsentantentheoreme.
• § 5. Das logische Folgern.
• § 6. Ableitbarkeit und Beweisbarkeit.
• § 7. Grundlegende Gesetze der Prädikatenlogik.
• § 8. Die Axiomatisierungstheoreme für den Prädikatenkalkül der ersten Stufe.
• § 9. Prädikatenlogische Normalformen.
• § 10. Der bestimmte Artikel.
• § 11. Elementare Theorien.
• Anhang — Einiges aus der allgemeinen Mengenlehre.
• Namen- und Sachverzeichnis.