9780387945934 - first-order logic and automated theorem proving (texts in computer science) von fitting, melvin (1 Ergebnisse)
Sprache: Englisch
Verlag: Springer, New York, NY, 1995
- Hardcover
Anbieter: True Oak Books, Highland, NY, USATrue Oak Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: IOBA
Zustand: Gebraucht - Befriedigend
EUR 88,36
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Hardcover. Zustand: Good. No Dust Jacket. Second Edition; First Printing. Texts In Computer Science; 7.25 X 1 X 9.75 inches; 326 pages; minor water exposure wrinkles on the first and last 4-5 pages. Minor shelf wear on front cover. Minor discoloration of textblock. Previous owner's name on front free endpaper. Very Good conditio…n otherwise. No other noteworthy defects. ; - Your satisfaction is our priority. We offer free returns and respond promptly to all inquiries. Your item will be carefully cushioned in bubble wrap and securely boxed. All orders ship on the same or next business day. Buy with confidence.
