An introduction to proof theory, (1998)

by S R Buss
Venue:in Handbook of Proof Theory,