Ordinal Analysis with an Introduction to Proof Theory, 1st ed. 2020 Logic in Asia: Studia Logica Library Series
Auteur : Arai Toshiyasu
Covers ordinal analysis at an advanced level, and proof theory at an elementary level
Approaches ordinal analysis in a contemporary fashion
Includes a wealth of exercises and answers, making it suitable for student use
Date de parution : 08-2021
Ouvrage de 313 p.
15.5x23.5 cm
Date de parution : 08-2020
Ouvrage de 313 p.
15.5x23.5 cm