Handbook of proof theory - Buss, Samuel R. (Array, 1998)