|
Sequents and Trees : An Introduction to the Theory and Applications of Propositional Sequent Calculi
“.... Sequents and Trees is suitable for graduate and advanced undergraduate students in logic taking courses...”