Vor Ort
Merkzettel Warenkorb
  • Produktbild: A Short Introduction to Intuitionistic Logic
  • Produktbild: A Short Introduction to Intuitionistic Logic

A Short Introduction to Intuitionistic Logic

Aus der Reihe University Series in Mathematics

146,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

26.04.2013

Abbildungen

IX, 131 p.

Verlag

Springer Us

Seitenzahl

131

Maße (L/B/H)

23,5/15,5/0,9 cm

Gewicht

230 g

Auflage

2000

Sprache

Englisch

ISBN

978-1-4757-7319-4

Beschreibung

Rezension

`
This is the most welcome addition to the literature on intuitionistic logic, providing a substantial reference of value comparable to that of better established references for classical mathematical logic. The development of Mints' book is natural, elegant and accessible, with a minimum of fuss but no lack of attention to important detail.



Overall, the book is an excellent addition to the literature.
'




Mathematical Reviews, 2002b

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

26.04.2013

Abbildungen

IX, 131 p.

Verlag

Springer Us

Seitenzahl

131

Maße (L/B/H)

23,5/15,5/0,9 cm

Gewicht

230 g

Auflage

2000

Sprache

Englisch

ISBN

978-1-4757-7319-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: A Short Introduction to Intuitionistic Logic
  • Produktbild: A Short Introduction to Intuitionistic Logic
  • Intuitionistic Predicate Logic.- Natural Deduction System NJ.- Kripke Models for Predicate Logic.- Systems LJm, LJ.- Proof-Search in Predicate Logic.- Preliminaries.- Natural Deduction for Propositional Logic.- Negative Translation: Glivenko’s Theorem.- Program Interpretation of Intuitionistic Logic.- Computations with Deductions.- Coherence Theorem.- Kripke Models.- Gentzen-type Propositional System LJpm.- Topological Completeness.- Proof-search.- System LJp.- Interpolation Theorem.