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