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

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

Membro dell'associazione:

Heritage Bookseller
Membro AbeBooks dal 1996

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

Visualizza gli articoli del venditore


Usato - Rilegato

Condizione: Usato - Molto buono

Prezzo:
EUR 26,64
EUR 2,80 per la spedizione in U.S.A.

Quantità: 1 disponibili

Aggiungere al carrello