Handbook of proof theory - Buss Samuel R (Amsterdam Elsevier Science, 1998)
Keywords: Proof theory