Book

Proof Theory (Grundlehren der mathematischen Wissenschaften)

by K. Schütte