Proof theory : an introduction. - Pohlers, Wolfram (Lecture notes in mathematics ;, 1994)