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

Editore: HarperCollins Publishers, 1986

Lingua: Inglese

Condizione: Usato - Molto buono Rilegato

Lista dei preferiti

Venduto da Jay W. Nelson, Bookseller, IOBA, Austin, MN, U.S.A.

Membro dell'associazione:

IOBA

Venditore AbeBooks dal 9 febbraio 1998

Valutazione del venditore 4 su 5 stelle

Visualizza gli articoli del venditore

Mostra tutte le copie di questo libro

Usato - Rilegato

Condizione: Usato - Molto buono

Prezzo: EUR 26,39 Convertire valuta

EUR 34,17 per la spedizione da U.S.A. a Italia Destinazione, tempi e costi

Quantit�: 1 disponibili

Aggiungere al carrello

Lista dei preferiti

Riguardo questo articolo

In blue cloth. Bottom corners bumped. No jacket.

Codice articolo 105306

Contatta il venditore

Segnala questo articolo

Dati bibliografici

Titolo

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

Editore

HarperCollins Publishers

Data di pubblicazione

1986

Lingua

Inglese

ISBN 10

0060422254

ISBN 13

9780060422257

Rilegatura

Hardcover

Edizione

1st Edition

Condizione

Very Good

Condizione della sovraccoperta

No Jacket

Cataloghi dei venditori

Non-Fiction

Descrizione articolo

Riassunto

Book by Gallier Jean

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

Visita la pagina della libreria

Membro dell'associazione

I librai membri di queste associazioni si distinguono per elevata competenza e professionalit�. Garantiscono l'autenticit� di tutti gli articoli messi in vendita. Forniscono descrizioni approfondite e dettagliate, rivelano tutti i difetti e / o restauri rilevanti, forniscono prezzi chiari e precisi e operano con correttezza e onest� durante l'esperienza di acquisto.

Informazioni sull?azienda del venditore

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

Condizioni di vendita e spedizione

Condizioni di vendita

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.

Condizioni di spedizione

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.