Proof theory (1975)

by G Takeuti