Master the theory and applications of propositional sequent calculi with "Sequents and Trees" by Andrzej Indrzejczak. This comprehensive textbook, a first edition hardcover, provides a detailed and self-contained introduction to the methodology of sequent calculi, focusing on their practical use in proving metatheoretical results. It covers classical propositional logic, three variants of sequent calculus, and extensions to non-classical logics such as modal, intuitionistic, substructural, and many-valued logics. Ideal for graduate and advanced undergraduate students in logic, computer science, and philosophy, this book features numerous worked-through proofs and exercises to solidify understanding. Key Features: * Detailed introduction to sequent calculi in propositional logic * Emphasis on applications for proving metatheoretical results * Self-contained with formal and informal explanations * Covers classical and various non-classical logics * Suitable for advanced students and researchers Product Summary: Springer Nature Switzerland AG Hardcover book "Sequents and Trees" by Andrzej Indrzejczak, 345 pages, English language version, First edition. ISBN: 9783030571443.