Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 14.09.2026 auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher, nicht preisgebundene Bücher und Kalender in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Aufgrund der Buchpreisbindung sind deutschsprachige Bücher und eBooks ausgenommen. Zusätzlich ausgenommen sind Abos & Flatrates, Games, Geschenkkarten/-boxen, Shelfies, Software, Zeitschriften sowie einzelne Artikel von tonies®. Pro Einkauf einmal einlösbar. Nur gültig mit im Onlineshop hinterlegter Bonuscard. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services.
  • Produktbild: Proof Theory and Intuitionistic Systems
  • Produktbild: Proof Theory and Intuitionistic Systems
Band 212

Proof Theory and Intuitionistic Systems

Aus der Reihe Lecture Notes in Mathematics

41,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.01.1971

Abbildungen

VIII, 292 p.

Verlag

Springer Berlin

Seitenzahl

292

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

458 g

Auflage

1971

Sprache

Englisch

ISBN

978-3-540-05541-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.01.1971

Abbildungen

VIII, 292 p.

Verlag

Springer Berlin

Seitenzahl

292

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

458 g

Auflage

1971

Sprache

Englisch

ISBN

978-3-540-05541-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 Theory and Intuitionistic Systems
  • Produktbild: Proof Theory and Intuitionistic Systems
  • and preliminaries.- A review of Gentzen's second consistency proof.- The intuitionistic system of number theory.- A formally intuitionistic system as strong as classical analysis.- Transfinite induction with respect to recursive wellorderings without function parameters.- A formally intuitonistic theory equivalent to classical transfinite induction with respect to recursive wellfounded trees with function parameters.- A system containing barinduction with respect to decidable predicates.- Harrop formulas.- The Markov principle.- Relative consistency proof of ZTN with respect to ZTi/IN*.