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