Agotado
Más información sobre el libro
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
Publicación
Compra de libros
Einführung in die mathematische Logik II, Gu nter Asser
- Idioma
- Publicado en
- 1972
- product-detail.submit-box.info.binding
- (Tapa dura)
Te avisaremos por correo electrónico en cuanto lo localicemos.
Métodos de pago
Nadie lo ha calificado todavía.
- Título
- Einführung in die mathematische Logik II
- Idioma
- Alemán
- Autores
- Gu nter Asser
- Editorial
- Deutsch
- Publicado en
- 1972
- Formato
- Tapa dura
- ISBN10
- 3871440116
- ISBN13
- 9783871440113
- Serie
- Descripción
- 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