Proof theory the first step into impredicativity - Pohlers, Wolfram; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009)
Keywords: Proof theory; Mathematics; Mathematical Logic and Foundations