8vo. [7], viii-xiii, [4], 2-242, [6] pp. Silver colored paper over boards, no dust jacket (following Springer's custom during the period). A sharp example of this book, one of the earliest introductions to classical logic from the perspective of automated theorem proving. N� de ref. del art�culo 00009239

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: First-Order Logic and Automated Theorem ...

Editorial: Springer-Verlag [1990], New York

A�o de publicaci�n: 1990

Encuadernaci�n: Hardcover

Condici�n: Very near Fine

Edici�n: First edition.

Descripci�n de la librer�a

Ver la p�gina web de la librer�a

Miembro de asociaci�n

Los miembros de estas asociaciones est�n comprometidos a mantener los est�ndares m�s altos. Ellos garantizan la autenticidad de los art�culos que ofrecen a la venta. Tienen descripciones expertas y detalladas, se�alan los defectos significativos y/o restauraciones, muestran los precios exactos y llevan a cabo un servicio de imparcialidad y honestidad durante la experiencia de la compra.

Informaci�n empresarial del vendedor

Evening Star Books, ABAA/ILAB
WI, U.S.A.

Condiciones de venta:

We guarantee the condition of every book as it's described on the Abebooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, it may be returned for a full refund (less shipping costs) so long as we are notified of the return within 7 calendar days of delivery.

We may be contacted by m...

M�s informaci�n

Condiciones de env�o:

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

M�todos de pago
aceptados por la librer�a

Cheque Giro Postal PayPal

A�adir una petici�n