Proof Theory. 2nd edition (1987)

by G Takeuti