Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi, Hardcover - Andrzej Indrzejczak
439,99 RON
This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic. Unlike other texts conc...
elefant.ro