9780387972336 - first-order logic and automated theorem proving (texts & monographs in computer science) de fitting, melvin (2 resultados)
Idioma: Inglés
Editorial: Springer Verlag, 1990
- Tapa dura
Librería: HPB-Red, Dallas, TX, Estados Unidos de AmericaHPB-Red
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Regular
EUR 35,61
Envío por EUR 3,24Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
hardcover. Condición: Acceptable. Connecting readers with great books since 1972. Used textbooks may not include companion materials such as access codes, etc. May have condition issues including wear and notes/highlighting. We ship orders daily and Customer Service is our top priority.
Idioma: Inglés
Editorial: Springer Verlag, New York, 1990
- Tapa dura
- Primera edición
Librería: Works on Paper, DeKalb, IL, Estados Unidos de AmericaWorks on Paper
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Bueno
EUR 103,17
Envío por EUR 5,62Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: Very Good. No Jacket. First Edition. A very good copy of the first hard cover edition (full number line ending with 1), lacking a dust-jacket, no doubt as issued. Previous owner's modest ex-libris stamp to front endsheet, else the text is wholly unmarked, pristine, and the binding bright and fresh in appear…ance. A sharp copy.
