-20%
Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi
Price range: ₹4,410.00 through ₹5,661.00
Considers the methodology and techniques of sequent calculus to illustrate its use in proving a wide range of metatheoretical results Includes many results and their proofs that are often not well known or easily accessible Examines important and nonstandard generalized sequent calculi, like hypersequent and structured sequent calculi.
-20%
Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi
Price range: ₹4,410.00 through ₹5,661.00
Considers the methodology and techniques of sequent calculus to illustrate its use in proving a wide range of metatheoretical results Includes many results and their proofs that are often not well known or easily accessible Examines important and nonstandard generalized sequent calculi, like hypersequent and structured sequent calculi.