Ordinal Analysis with an Introduction to Proof Theory - Arai (Springer Singapore, 2020)