Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row Computer Science and Technology Series)

Gallier, Jean H.

ISBN 10: 0060422254 ISBN 13: 9780060422257

Editorial: HarperCollins Publishers, 1986

Idioma: Ingl�s

Condici�n: Usado - Bueno Encuadernaci�n de tapa dura

Guardar para m�s tarde

Vendido por Jay W. Nelson, Bookseller, IOBA, Austin, MN, Estados Unidos de America

Miembro de asociaci�n:

IOBA

Vendedor de AbeBooks desde 9 de febrero de 1998

Calificaci�n del vendedor: 4 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Usado - Encuadernaci�n de tapa dura

Condici�n: Usado - Bueno

Precio: EUR 26,46 Convertir moneda

EUR 29,97 gastos de env�o desde Estados Unidos de America a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

In blue cloth. Bottom corners bumped. No jacket.

N� de ref. del art�culo 105306

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row Computer Science and Technology Series)

Editor

HarperCollins Publishers

Fecha de publicaci�n

1986

Idioma

Ingl�s

ISBN 10

0060422254

ISBN 13

9780060422257

Encuadernaci�n

Hardcover

Edici�n

1st Edition

Estado

Very Good

Estado de la sobrecubierta

No Jacket

Cat�logos de vendedores

Non-Fiction

Acerca de

Sinopsis

Book by Gallier Jean

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

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

Jay W. Nelson, Bookseller, IOBA
MN, U.S.A.

Condiciones de venta y env�o

Condiciones de venta

We accept check, money order, VISA or Mastercard. Please add $4.95 postage for 1st book. All books are returnable within 14 days of sale. MN residents add 6.5% sales tax.

Condiciones de env�o

Orders usually ship within 2 business days. 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. I ship every book in a well-packed cardboard box.