Add this copy of Automated Theorem Proving: a Logical Basis (Fundamental to cart. $179.89, new condition, Sold by Just one more Chapter rated 4.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 1978 by sole distributor for the U.S. A.
