Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi Studies in Universal Logic Autor Andrzej Indrzejczak 18 dec 2021 Paperback Preț: 377.12 lei 43-57 zile
