Geschäftskunden Kundenprogramme

KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
Produktbild: First-Order Modal Logic
Band 277

First-Order Modal Logic

Aus der Reihe Synthese Library

Fr. 263.00

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

31.10.1998

Abbildungen

XII, 292 p.

Verlag

Springer Netherland

Seitenzahl

292

Maße (B/H)

15.5/23.5 cm

Gewicht

1350 g

Auflage

1998

Sprache

Englisch

ISBN

978-0-7923-5334-8

Beschreibung

Rezension

"This Text is an excellent and most useful volume. It is pitched correctly: the exercises are just right... It sets a high standard for anything following. It is to be highly recommended."


(Bulletin of Symbolic Logic, 8:3)

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

31.10.1998

Abbildungen

XII, 292 p.

Verlag

Springer Netherland

Seitenzahl

292

Maße (B/H)

15.5/23.5 cm

Gewicht

1350 g

Auflage

1998

Sprache

Englisch

ISBN

978-0-7923-5334-8

Herstelleradresse

Springer Netherland
Heidelberger Platz 3
14197 Berlin
Deutschland
Email: sdc-bookservice@springer.com
Fax: +49 6221 3454229

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: First-Order Modal Logic
  • 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.