Ordinal Analysis with an Introduction to Proof Theory 1

Data & IT

Ordinal Analysis with an Introduction to Proof Theory

Name: Ordinal Analysis with an Introduction to Proof Theory
Price: 1359 SEK
Availability: InStock
Author: Toshiyasu Arai
ISBN: 9789811564581

Toshiyasu Arai

Inbunden

1359:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-16 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

Pocket/Paperback 989:-

313 sidor
2020

This book provides readers with a guide to both ordinal analysis, and to proof theory. It mainly focuses on ordinal analysis, a research topic in proof theory that is concerned with the ordinal theoretic content of formal theories. However, the book also addresses ordinal analysis and basic materials in proof theory of first-order or omega logic, presenting some new results and new proofs of known ones.Primarily intended for graduate students and researchers in mathematics, especially in mathematical logic, the book also includes numerous exercises and answers for selected exercises, designed to help readers grasp and apply the main results and techniques discussed.

Författare: Toshiyasu Arai
Format: Inbunden
ISBN: 9789811564581
Språk: Engelska
Antal sidor: 313
Utgivningsdatum: 2020-08-12
Förlag: Springer Verlag, Singapore