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: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Hardcover. Condition: Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0121229521I3N10
Seller: Anybook.com, Lincoln, United Kingdom
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,850grams, ISBN:0121229521. Seller Inventory # 3736440
Quantity: 1 available
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New. pp. xvi + 408 Index. Seller Inventory # 2645381520
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New. pp. xvi + 408. Seller Inventory # 46385231
Quantity: 1 available
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New. pp. xvi + 408. Seller Inventory # 1845381530
Quantity: 1 available
Seller: Blue Fog Books, Arlington Heights, IL, U.S.A.
Sun fading to covers. No names, underlining, notes or highlighting. p1. Seller Inventory # ABE-1769904560984
Seller: Mispah books, Redhill, SURRE, United Kingdom
Hardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. Seller Inventory # ERICA75801212295215
Quantity: 1 available