Book

Proof Theory

by K. Schütte, J.N. Crossley