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: 989 SEK
Availability: InStock
Author: Toshiyasu Arai
ISBN: 9789811564611

Toshiyasu Arai

Pocket

989:-

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:

Inbunden 1359:-

313 sidor
2021

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: Pocket/Paperback
ISBN: 9789811564611
Språk: Engelska
Antal sidor: 313
Utgivningsdatum: 2021-08-13
Förlag: Springer Verlag, Singapore