DISCLOSURE:
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission at no extra cost to you. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network, Amazon and Alibris.
When I get hold of a book I admire, I am so enthusiastic that. I loan it to someone who never brings it back.
ISBN10: 0444508120, ISBN13: 9780444508126, [publisher: North Holland] Hardcover Ancien livre de bibliothèque. Edition 2001. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2001. Ammareal gives back up to 15% of this item's net price to charity organizations. [Morangis, France] [Publication Year: 2001]
ISBN10: 0444508120, ISBN13: 9780444508126, [publisher: North Holland] Hardcover Ancien livre de bibliothèque. Edition 2001. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2001. Ammareal gives back up to 15% of this item's net price to charity organizations. [Morangis, France] [Publication Year: 2001]
ISBN10: 0444508120, ISBN13: 9780444508126, [publisher: North Holland] Hardcover 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! [Dallas, TX, U.S.A.] [Publication Year: 2001]
Robinson, Alan J a (Editor), and Voronkov, Andrei (Editor)
USD
74.88
HPB-Red via Alibris /Alibris
North Holland 2001 hardcover 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!
North Holland, Date: 2001. Hardcover. Very Good. Former library book. Edition 2001. Ammareal gives back up to 15% of this item's net price to charity organizations. 2001. North Holland ISBN 0444508120 9780444508126 [FR]
ISBN10: 0444508120, ISBN13: 9780444508126, [publisher: North Holland] Hardcover New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. [Irving, TX, U.S.A.] [Publication Year: 2001]
Robinson Alan JA. Editor; Voronkov Andrei Editor; J. A.
USD
165.37
GridFreed LLC /Biblio
North Holland, Date: 2001-07-05. Hardcover. New. New. In shrink wrap. Looks like an interesting title! 2001. North Holland ISBN 0444508120 9780444508126 [US]
Elsevier Science 6/21/2001 12: 00: 00 AM Hardcover PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from US in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the US.
Elsevier Science 6/21/2001 12: 00: 00 AM Hardcover PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from US in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the US.
Elsevier Science 6/21/2001 12: 00: 00 AM Hardcover New Book. Shipped from US in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the US.
Hard Cover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Handbook of Automated Reasoning. ISBN 0444508120 9780444508126 [GB]
ISBN10: 0444508120, ISBN13: 9780444508126, [publisher: Elsevier Science] Hardcover This second volume of Handbook of Automated Reasoning covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.Pa. [Greven, Germany] [Publication Year: 2001]
ISBN10: 0444508120, ISBN13: 9780444508126, [publisher: Elsevier Science] Hardcover This second volume of Handbook of Automated Reasoning covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.Pa. [Greven, Germany] [Publication Year: 2001]
ISBN10: 0444508120, ISBN13: 9780444508126, [publisher: North Holland] Hardcover Buy with confidence! Book is in good condition with minor wear to the pages, binding, and minor marks within 5.47 [Amherst, NY, U.S.A.] [Publication Year: 2001]
ISBN10: 0444508120, ISBN13: 9780444508126, [publisher: North Holland] Hardcover Book is in NEW condition. 5.47 [Hawthorne, CA, U.S.A.] [Publication Year: 2001]
DISCLOSURE:
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission at no extra cost to you. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network, Amazon and Alibris.