Sequents and trees : an introduction to the theory and applications of propositional sequent calculi / Andrzej Indrzejczak.
This textbook offers a detailed introduction to the methodology and applications of sequent calculus in propositional logic. Unlike other texts concerned with proof theory, emphasis is placed on illustrating how to use sequent calculus to prove a wide range of metatheoretical results. The presentati...
Full description
Saved in: