Description: Ordinal Analysis With an Introduction to Proof Theory, Paperback by Arai, Toshiyasu, ISBN 9811564612, ISBN-13 9789811564611, Like New Used, Free shipping in the US 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, th 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, th also includes numerous exercises and answers for selected exercises, designed to help readers grasp and apply the main results and techniques discussed.
Price: 71.78 USD
Location: Jessup, Maryland
End Time: 2024-10-20T10:35:09.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Ordinal Analysis with an Introduction to Proof Theory
Number of Pages: Xvi, 313 Pages
Language: English
Publisher: Springer
Publication Year: 2021
Topic: Computer Science, Logic
Illustrator: Yes
Genre: Computers, Philosophy
Item Weight: 18 Oz
Author: Toshiyasu Arai
Item Length: 9.3 in
Book Series: Logic in Asia: Studia Logica Library
Item Width: 6.1 in
Format: Trade Paperback
