Ordinal Analysis with an Introduction to Proof Theory

By Toshiyasu Arai

Book Overview

Introduction.- Calculi for classical logic.- Cut-elimination in depth.- Epsilon numbers.- Iterations.- Collapsings.

• Format: Paperback
• Language: English
• ISBN: 9811564612
• ISBN13: 9789811564611
• Release Date: August 2021
• Publisher: Springer
• Length: 313 Pages
• Weight: 1.03 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"