Sequents and Trees : An Introduction to the Theory and Applications of Propositional Sequent Calculi