Proof Theory and Intuitionistic Systems