Proof Theory, volume 81 (1975)

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