Ordinal Analysis with an Introduction to Proof Theory
Springer Singapore