Proof Theory. Studies in Logic 81 (1987)

by G Takeuti