Basic Proof Theory: Proof theory of arithmetic