Einführung in die Mathematische Logik Teil II Prädikatenkalkül der Ersten Stufe
Corporate Author: | |
---|---|
Format: | eBook |
Language: | German |
Published: |
Wiesbaden
Vieweg+Teubner Verlag
1972, 1972
|
Edition: | 2nd ed. 1972 |
Series: | Mathematisch-Naturwissenschaftliche Bibliothek
|
Subjects: | |
Online Access: | |
Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- § 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