Add this copy of First-Order Logic and Automated Theorem Proving (Texts to cart. $101.83, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1990 by Springer Verlag.
Add this copy of First-Order Logic and Automated Theorem Proving (Texts to cart. $144.66, new condition, Sold by Just one more Chapter rated 4.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 1990 by Springer Verlag.
