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