Proof theory : an introduction - Pohlers, Wolfram (Springer, 1964)