An Introduction to Proof Theory