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
Usato Condizione: Very Good Rilegato

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

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Venditore AbeBooks dal 9 febbraio 1998

Membro dell'associazione:

Visualizza gli articoli del venditore


Usato - Rilegato

Prezzo: EUR 27,16 Convertire valuta
EUR 35,16 per la spedizione da U.S.A. a Italia Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungere al carrello