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

A Short Introduction to Intuitionistic Logic

Aus der Reihe University Series in Mathematics
11% sparen

131,99 € UVP 149,79 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

31.10.2000

Abbildungen

IX, 131 p.

Verlag

Springer Us

Seitenzahl

131

Maße (L/B/H)

24,1/16/1,4 cm

Gewicht

389 g

Auflage

2000 ed.

Sprache

Englisch

ISBN

978-0-306-46394-5

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

Gebundene Ausgabe

Erscheinungsdatum

31.10.2000

Abbildungen

IX, 131 p.

Verlag

Springer Us

Seitenzahl

131

Maße (L/B/H)

24,1/16/1,4 cm

Gewicht

389 g

Auflage

2000 ed.

Sprache

Englisch

ISBN

978-0-306-46394-5

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.