Add this copy of Automation of Reasoning 1: Classical Papers on to cart. $33.39, good condition, Sold by HPB-Red rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 1983 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Add this copy of Automation of Reasoning 1: Classical Papers on to cart. $34.07, 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. $87.81, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1983 by Springer.
