Proof Theory. volume 81 (1975)

by G Takeuti
Venue:of Studies in Logic and the Foundations of Mathematics