Logic for Computer Science: Foundations of Automatic Theorem Proving

Libro 19 di 19: Dover Books on Computer Science

Jean H. Gallier

ISBN 10: 0486780821 ISBN 13: 9780486780825
Editore: Dover Publications, 2015
Lingua: Inglese
Condizione: Usato - Molto buono Brossura

Venduto da Book Express (NZ), Shannon, Nuova Zelanda

Venditore AbeBooks dal 10 febbraio 2021

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

Visualizza gli articoli del venditore


Usato - Brossura

Condizione: Usato - Molto buono

Prezzo:
EUR 8,31
Spedizione EUR 26,60
Spedito da Nuova Zelanda a U.S.A.

Quantità: 1 disponibili

Aggiungere al carrello