9780387945934 - first-order logic and automated theorem proving (texts in computer science) de fitting, melvin (1 resultados)
Idioma: Inglés
Editorial: Springer, New York, NY, 1995
- Tapa dura
Librería: True Oak Books, Highland, NY, Estados Unidos de AmericaTrue Oak Books
Contactar con el vendedorVendedor de 5 estrellasMiembro de asociación: IOBA
Condición: Usado - Aceptable
EUR 88,22
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: 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 condit…ion 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.
