Automated Deduction in Nonclassical Logics – Efficient Matrix Proof Methods etc: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics (Mit Press Series in Artificial I)
Product ID: 519254060
Frequently Bought Together
Common Questions
I loved the variety of products available. Will definitely shop again.
2 months ago
The product quality is outstanding. Exactly what I needed for my work.
1 month ago
Competitive prices on a vast range of products
Serving over 300 million shoppers across more than 200 countries
Trusted payment options loved by worldwide shoppers
Trusted payment options loved by worldwide shoppers.
Shop on the go, anytime, anywhere.
