Sequents and Trees

This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic.