Isbn: 9780720404999 - automated theorem proving: a logical basis (1 risultati)
- Rilegato
Da: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, GermaniaAntiquariat Thomas Haker GmbH & Co. KG
Contatta il venditoreVenditore con 5 stelleMembro dell’associazione: GIAQ
Condizione: Usato - Molto buono
EUR 28,70
EUR 20,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Gut. 405 p., Good condition according to age. Note of ownership. Paper slightly brownished at the edges. Sprache: Englisch Gewicht in Gramm: 940.
