• Produktbild: The Unprovability of Consistency
  • Produktbild: The Unprovability of Consistency

The Unprovability of Consistency An Essay in Modal Logic

Fr. 88.90

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.08.2008

Verlag

Cambridge Academic

Seitenzahl

196

Maße (L/B/H)

21.6/14/1.1 cm

Gewicht

260 g

Sprache

Englisch

ISBN

978-0-521-09297-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.08.2008

Verlag

Cambridge Academic

Seitenzahl

196

Maße (L/B/H)

21.6/14/1.1 cm

Gewicht

260 g

Sprache

Englisch

ISBN

978-0-521-09297-5

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: gpsr@libri.de

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: The Unprovability of Consistency
  • Produktbild: The Unprovability of Consistency
  • 1. G and other normal modal propositional logics; 2. Peano Arithmetic; 3. The box as Bew; 4. Some applications of G; 5. Semantics for G and other modal logics; 6. Canonical models; 7. The completeness and decidability of G; 8. Trees for G; 9. Calculating the truth-values of fixed points; 10. Rosser's theorem; 11. The fixed-point theorem; 12. Solovay's completeness theorems; 13. An S4-preserving proof-theoretical treatment of modality; 14. The Craig Interpolation Lemma for G.