Proof theory : an introduction - Pohlers, Wolfram (Springer, 1964)
En: Lecture notes in mathematics. -- Berlin : Springer, 1964- . v. 1407