Handbook of Proof Theory by Samuel R. Buss