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