Um eUniverse.ch in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktiveren.

First-Order Modal Logic

178.17 CHF

Versandkostenfrei

Lieferzeit: 21 Werktage

Artikel-Nr.: 10209530

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:	156
Gewicht:	612 g
Höhe:	245
Länge:	20
Seiten:	292
Sprachen:	Englisch
Autor:	M. Fitting, Richard L. Mendelsohn

Bewertung

Menü schließen

Bewertungen werden nach Überprüfung freigeschaltet.

Die mit einem * markierten Felder sind Pflichtfelder.

Ich habe die Datenschutzbestimmungen zur Kenntnis genommen.

Artikel vergleichen

Mindestens noch einen Artikel hinzufügen um Vergleich zu starten.

Bestseller Kategorie

Topseller