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