Proof Theory - Pohlers, Wolfram (Springer Berlin Heidelberg, 2009)