Vor Ort
Merkzettel Warenkorb
  • Produktbild: Proof Methods for Modal and Intuitionistic Logics
  • Produktbild: Proof Methods for Modal and Intuitionistic Logics
Band 169 - 11%

Proof Methods for Modal and Intuitionistic Logics

Aus der Reihe Synthese Library
11% sparen

189,99 € UVP 213,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

25.12.2010

Abbildungen

VIII, 555 p.

Verlag

Springer Netherland

Seitenzahl

555

Maße (L/B/H)

23,5/15,5/3,1 cm

Gewicht

850 g

Auflage

Softcover reprint of the original 1st edition 1983

Sprache

Englisch

ISBN

978-90-481-8381-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

25.12.2010

Abbildungen

VIII, 555 p.

Verlag

Springer Netherland

Seitenzahl

555

Maße (L/B/H)

23,5/15,5/3,1 cm

Gewicht

850 g

Auflage

Softcover reprint of the original 1st edition 1983

Sprache

Englisch

ISBN

978-90-481-8381-4

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

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: Proof Methods for Modal and Intuitionistic Logics
  • Produktbild: Proof Methods for Modal and Intuitionistic Logics
  • One / Background.- Two / Analytic Modal Tableaus and Consistency Properties.- Three / Logical Consequence, Compactness, Interpolation, and Other Topics.- Four / Axiom Systems and Natural Deduction.- Five / Non-Analytic Logics.- Six / Non-Normal Logics.- Seven / Quantifiers.- Eight / Prefixed Tableau Systems.- Nine / Intuitionistic Logic.- Special Notation.