Add this copy of Automation of Reasoning 1: Classical Papers on to cart. £36.51, good condition, Sold by Midtown Scholar Bookstore rated 5.0 out of 5 stars, ships from Harrisburg, PA, UNITED STATES, published 1983 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Volume 1: Classical Papers on Computational Logic 1957-1966 No dust jacket. Good hardcover with some shelfwear; may have previous owner's name inside. Standard-sized.
Add this copy of Automation of Reasoning 1: Classical Papers on to cart. £77.13, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1983 by Springer.
