Proof Theory (1975)

by G Takeuti