Basic Proof Theory

Studies in Logic and the Foundations of Mathematics. Volume 145