Contains a precise and complete description of the computational logic developed by the authors; will serve also as a reference guide to the associated mechanical theorem proving system. Annotation copyright Book News, Inc. Portland, Or.
"synopsis" may belong to another edition of this title.
Seller: Better World Books, Mishawaka, IN, U.S.A.
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 3106389-6
Seller: WeBuyBooks, Rossendale, LANCS, United Kingdom
hardcover. Condition: Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned. Seller Inventory # rev6575393162
Quantity: 1 available
Seller: Blue Fog Books, Arlington Heights, IL, U.S.A.
Hardcover. Condition: Good. Sun fading to covers. No names, underlining, notes or highlighting. p1. Seller Inventory # ABE-1769904560984