First-Order Logic and Automated Theorem Proving

Fitting, Melvin

5 valoraciones de Goodreads

Idioma: inglés

Editorial: Springer, New York, NY, 1995

0387945938 / 9780387945934

Serie: Libro 28 de 83 - Texts in Computer Science

Librería: True Oak Books, Highland, NY, Estados Unidos de AmericaTrue Oak Books

Vendedor de 5 estrellas

Vendedor de IberLibro desde 5 de noviembre de 2021

Miembro de asociación: IOBA

Tapa dura

Condición: Usado - Aceptable

EUR 92,00

 Gastos de envío gratis 
Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponible

Añadir al carrito
Devoluciones gratuitas de 30 días

Descripción del artículo del vendedor

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 condition 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.

N° de ref. del artículo HVD-71949-OS-0

Título
First-Order Logic and Automated Theorem Proving
Autor
Fitting, Melvin
Editorial
Springer, New York, NY
Año de publicación
1995
Estado
Good
Sobrecubierta
No Dust Jacket
Encuadernación
Hardcover
Idioma
inglés
ISBN 10
0387945938
ISBN 13
9780387945934
Edición
Second Edition; First Printing.
Serie
Libro 28 de 83: Texts in Computer Science

True Oak Books

Highland, NY, Estados Unidos de America

Vendedor de 5 estrellas

Vendedor de IberLibro desde 5 de noviembre de 2021

Miembro de asociación:

Tarifas de envío en Estados Unidos de America

ArtículoDe 3 a 9 días hábilesDe 2 a 4 días hábiles
Primer artículoEUR 0,00EUR 5,36
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.

Métodos de pago

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Descripción de la tienda

True Oak Books is dedicated to giving a second life to books. We take pride in what we do and do our best to provide good service. Our small but passionate team hand picks rare finds in a variety of fiction as well as non-fiction.

Especialidad

Various

Miembro de asociación

  • Independent Online Booksellers Association
Los miembros de estas asociaciones se comprometen a mantener los estándares más altos. Garantizan la autenticidad de todos los artículos puestos a la venta. Proporcionan descripciones detalladas y expertas, informan de todos los defectos o restauraciones importantes, incluyen precios claros y precisos y actúan de manera justa y honesta durante la experiencia de compra.

Información empresarial del vendedor

True Oak Books LLC

446 New Paltz Rd, APT 6
Highland, NY Estados Unidos de America 12528