Sequents and Trees: An Introduction to the Theory and Applications of
91,48 €
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:
