Isbn: 9780387972336 - first-order logic and automated theorem proving (4 risultati)

hardcover. Condizione: 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.

Condizione: Very Good. *Price Has BEEN REDUCED by 10% until Monday, Oct. 12 (SALE item)* 242 pp., hardcover, previous owner's name to the front free endpaper, else very good. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.…

Hardcover. Condizione: 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.…

hardcover. Condizione: Gut. 257 Seiten; 9780387972336.3 Gewicht in Gramm: 1.