Proof Theory (Grundlehren der mathematischen Wissenschaften) by K. Schütte | Menrva Books