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