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: Longman Higher Education, 1986
Lingua: Inglese
Condizione: Nuovo Rilegato

Venduto da The Book Spot, Sioux Falls, MN, U.S.A.

Venditore AbeBooks dal 5 febbraio 2013

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

Visualizza gli articoli del venditore


Nuovi - Rilegato

Condizione: Nuovo

Prezzo:
EUR 116,21
Spedizione gratuita
Spedito in U.S.A.

Quantità: 1 disponibili

Aggiungere al carrello