Proof Theory and Algebra in Logic