Automated Theorem-Proving in Non-Classical Logics
Author:Thisthlewaite, P. B., Meyer, R. K.
ISBN-13:
9780273087816
ISBN:
0273087819
Pub Date: 1988
Publisher: Pitman Publishing
Marketplace Prices
1 Used from $83.80
- Used $83.80
Where's My Stuff?
- Track your recent orders.
Shipping & Returns
- See our shipping rates & policies.
- Return an item (here's our Return Policy).
Need Help?


