Proof Theory The First Step into Impredicativity - Pohlers, Wolfram (Springer Berlin Heidelberg, 2009)