Sequents and Trees: Eine Einführung in die Theorie und Anwendung von
76,35 €
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:
