Sold out
More about the book
Schlagwörter: Logik, Mathematische ; Prädikatenkalkül Inhalt: 1. Attribute und Quantifizierungsfunktionen 2. Ausdrücke einer elementaren Sprache 3. Interpretation der Ausdrücke einer elementaren Sprache 4. Reduktions- und Repräsentatentheoreme 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 Normalformeln 10. Der bestimmte Artikel 11. Elementare Theorien Anhang - Einiges aus der allgemeinen Mengenlehre
Publication
Book purchase
Einführung in die mathematische Logik II, Gu nter Asser
- Language
- Released
- 1972
- product-detail.submit-box.info.binding
- (Hardcover)
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.
- Title
- Einführung in die mathematische Logik II
- Language
- German
- Authors
- Gu nter Asser
- Publisher
- Deutsch
- Released
- 1972
- Format
- Hardcover
- ISBN10
- 3871440116
- ISBN13
- 9783871440113
- Series
- Description
- Schlagwörter: Logik, Mathematische ; Prädikatenkalkül Inhalt: 1. Attribute und Quantifizierungsfunktionen 2. Ausdrücke einer elementaren Sprache 3. Interpretation der Ausdrücke einer elementaren Sprache 4. Reduktions- und Repräsentatentheoreme 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 Normalformeln 10. Der bestimmte Artikel 11. Elementare Theorien Anhang - Einiges aus der allgemeinen Mengenlehre