Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)

Chang, Chin-Liang, Lee, Richard Char-Tung

ISBN 10: 0121703509 ISBN 13: 9780121703509
Editore: Academic Press, 1973
Lingua: Inglese
Condizione: Usato - Buono Rilegato

Venduto da Wonder Book, Frederick, MD, U.S.A.

Membro dell'associazione:

Heritage Bookseller
Venditore AbeBooks dal 1 novembre 1997

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

Visualizza gli articoli del venditore


Usato - Rilegato

Condizione: Usato - Buono

Prezzo:
EUR 16,36
Spedizione gratuita
Spedito in U.S.A.

Quantità: 1 disponibili

Aggiungere al carrello