Advances in Proof Theory