Produktbild: First-Order Modal Logic
Band 277 - 12%

First-Order Modal Logic

Aus der Reihe Synthese Library
12% sparen

206,99 € UVP 235,39 €

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.