Handbook of proof theory, Samuel R. Buss