Customer Reviews


There are no customer reviews yet.  Create your own review

This product

Automated theorem-proving in non-classical logics (Research notes in theoretical computer science)
Automated theorem-proving in non-classical logics (Research notes in theoretical computer science) by Paul B. Thistlewaite (Paperback - 1988)
Used & New from: $38.94
Add to wishlist See buying options