First-Order Modal Logic
94.99 CHF
Versandkostenfrei
Lieferzeit: 21 Werktage
- Artikel-Nr.: 10334569
Beschreibung
Preface. 1. Propositional Modal Logic. 2. Tableau Proof Systems. 3. Axiom Systems. 4. Quantified Modal Logic. 5. First-Order Tableaus. 6. First-Order Axiom Systems. 7. Equality. 8. Existence and Actualist Quantification. 9. Terms and Predicate Abstraction. 10. Abstraction Continued. 11. Designation. 12. Definite Descriptions. References. Index.
Eigenschaften
Breite: | 157 |
Gewicht: | 435 g |
Höhe: | 236 |
Länge: | 16 |
Seiten: | 292 |
Sprachen: | Englisch |
Autor: | M. Fitting, Richard L. Mendelsohn |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen