Automated Theorem-proving in Non-classical Logics (Research notes in theoretical computer science)
Thistlewaite, Paul B., Michael A. McRobbie and Robert K. Meyer:
From NEPO UG, Rüsselsheim am Main, Germany
Seller rating 5 out of 5 stars
AbeBooks Seller since 15 November 2018
Used - Soft cover
Quantity: 1 available
Add to basket