Handbook of Proof Theory: Volume 137