Tutorial on Proof Theory