Proof Theory, volume 81 (1987)

by G Takeuti