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

The Unprovability of Consistency An Essay in Modal Logic

85,99 €

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.