Proof Theory. Grundlehren de mathematischen Wissenschaften 225 (1977)

by K Schutte