Proof Theory (second edition (1987)

by Gaisi Takeuti