Some notes on Proof Theory and Elements of Ordinal Analysis based on "Proofs and Computations" by Wainer and Schwichtenberg
