• Produktbild: Proof Methods for Modal and Intuitionistic Logics
  • Produktbild: Proof Methods for Modal and Intuitionistic Logics
Band 169 - 12%

Proof Methods for Modal and Intuitionistic Logics

Aus der Reihe Synthese Library
12% sparen

187,99 € UVP 213,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

30.04.1983

Abbildungen

VIII, 555 p.

Verlag

Springer Netherland

Seitenzahl

555

Maße (L/B/H)

24,1/16/3,5 cm

Gewicht

1010 g

Auflage

1983

Sprache

Englisch

ISBN

978-90-277-1573-9

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

30.04.1983

Abbildungen

VIII, 555 p.

Verlag

Springer Netherland

Seitenzahl

555

Maße (L/B/H)

24,1/16/3,5 cm

Gewicht

1010 g

Auflage

1983

Sprache

Englisch

ISBN

978-90-277-1573-9

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.