Proof theory, volume 81 (1987)

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