First-Order Logic and Automated Theorem Proving

Fitting, Melvin

Published by Springer-Verlag [1990], New York, 1990
Condition: Used Hardcover

Sold by Evening Star Books, ABAA/ILAB, Madison, WI, U.S.A.

Association Member:

AbeBooks Seller since 9 May 2012

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

View this seller's items


Used - Hardcover

Condition: Very near Fine

Price:
£ 56.68
£ 4.97 shipping within U.S.A.

Quantity: 1 available

Add to basket