A Short Introduction to Intuitionistic Logic
101.10 CHF
Versandkostenfrei
Lieferzeit: 7-14 Werktage
- Artikel-Nr.: 10370641
Beschreibung
Introduction. I: Intuitionistic Propositional Logic. 1. Preliminaries. 2. Natural Deduction for Propositional Logic. 3. Negative Translation: Glivenko's Theorem. 4. Program Interpretation of Intuitionistic Logic. 5. Computations with Deductions. 6. Coherence Theorem. 7. Kripke Models. 8. Gentzen-type Propositional System LJpm. 9. Topological Completeness. 10. Proof-Search. 11. System LJpm. 12. Interpolation Theorem. II: Intuitionistic Predicate Logic. 13. Natural Deduction System NJ. 14. Kripke Models for Predicate Logic. 15. Systems LJm, LJ. 16. Proof-Search in Predicate Logic. References. Index.
Eigenschaften
Breite: | 155 |
Höhe: | 235 |
Seiten: | 131 |
Sprachen: | Englisch |
Autor: | Grigori Mints |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen