• Produktbild: Ordinal Analysis with an Introduction to Proof Theory
  • Produktbild: Ordinal Analysis with an Introduction to Proof Theory
- 10%

Ordinal Analysis with an Introduction to Proof Theory

10% sparen

66,99 € UVP 74,89 €

inkl. MwSt, Versandkostenfrei

Lieferung nach Hause

Beschreibung

Details

Einband

Taschenbuch

Erscheinungsdatum

13.08.2021

Verlag

Springer Singapore

Seitenzahl

313

Maße (L/B/H)

23,5/15,5/1,9 cm

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-981-15-6461-1

Beschreibung

Rezension

“Arai's book represents an important contribution to the field of ordinal analysis, and is recommended to any mathematician interested in the classification of the proof-theoretic strength of mathematical theories. … the book is well written, well organized, and concise … . Arai is to be commended for this significant resource for anyone who wishes to study ordinal analysis, and gain a better understanding of the proof-theoretic strength of theories.” (Matthew Jura, Mathematical Reviews, December, 2023)

Details

Einband

Taschenbuch

Erscheinungsdatum

13.08.2021

Verlag

Springer Singapore

Seitenzahl

313

Maße (L/B/H)

23,5/15,5/1,9 cm

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-981-15-6461-1

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Weitere Bände von Logic in Asia: Studia Logica Library

Weitere Bände von Logic in Asia: Studia Logica Library

Unsere Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Unsere Kundinnen und Kunden meinen

0 Bewertungen filtern

  • Produktbild: Ordinal Analysis with an Introduction to Proof Theory
  • Produktbild: Ordinal Analysis with an Introduction to Proof Theory
  • Introduction.- Calculi for classical logic.- Cut-elimination in depth.- Epsilon numbers.- Iterations.- Collapsings.