Proof theory : the first step into impredicativity - Pohlers, Wolfram (Springer Verlag, 2009)