Proof Theory - Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)