Proof Theory (1977)

by K Schütte