Proof theory an introduction - Pohlers Wolfram (Berlin Springer-Verlag, 1989)
Keywords: Mathematical logic; Proof theory