Sequents and Trees: An Introduction to the Theory and Applications of Propositio
78,52 €
Sequents and Trees. Sequents and Trees is suitable for graduate and advanced undergraduate students in logic taking courses on proof theory and its application to non-classical logics. It will also be of interest to researchers in computer science and philosophers.
Jetzt bei Ebay: