Handbook of proof theory - Buss, Samuel R., 1957- (Studies in Logic and the Foundations of Mathematics ;, 1998)