First-Order Logic and Automated Theorem Proving - Couverture rigide
Livre 28 sur 83: Texts in Computer Science
Autres éditions populaires du même titre
Résultats de recherche pour First-Order Logic and Automated Theorem Proving
Image d'archives
First-Order Logic and Automated Theorem Proving (Texts & Monographs in Computer Science)
Edité par
Springer Verlag, 1990
ISBN 10 : 0387972331
ISBN 13 : 9780387972336
Ancien ou d'occasion
Couverture rigide
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
hardcover. Etat : Acceptable. Connecting readers with great books since 1972. Used textbooks may not include companion materials such as access codes, etc. May have condition issues including wear and notes/highlighting. We ship orders daily and Customer Service is our top priority! N° de réf. du vendeur S_469469598
Acheter D'occasion
EUR 36,17
Expédition à EUR 3,29
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
First-Order Logic and Automated Theorem Proving
Edité par
Springer Verlag, New York, 1990
ISBN 10 : 0387972331
ISBN 13 : 9780387972336
Ancien ou d'occasion
Couverture rigide
Edition originale
Vendeur : Works on Paper, DeKalb, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Very Good. No Jacket. First Edition. A very good copy of the first hard cover edition (full number line ending with 1), lacking a dust-jacket, no doubt as issued. Previous owner's modest ex-libris stamp to front endsheet, else the text is wholly unmarked, pristine, and the binding bright and fresh in appearance. A sharp copy. N° de réf. du vendeur 014467
Acheter D'occasion
EUR 104,78
Expédition à EUR 5,71
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)