When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
- Item No : 376464277161
- Condition : Very Good
- Brand : No brand Info
- Seller : thrift.books
- Current Bid : US $85.12
-
* Item Description
- First-Order Logic and Automated Theorem Proving (Texts in Computer Science) by Melvin Fitting May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less
★ Recommended Products Related To This Item
♥ Best Selling Products in this category
