"synopsis" may belong to another edition of this title.
Shipping:
FREE
Within U.S.A.
Book Description Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT23-370526
Book Description Condition: New. New. In shrink wrap. Looks like an interesting title! 5.47. Seller Inventory # Q-0444508120
Book Description Hardcover. Condition: New. Seller Inventory # 6666-ELS-9780444508126
Book Description Hardcover. Condition: Brand New. 1st edition. 2122 pages. 9.50x6.75x2.00 inches. In Stock. Seller Inventory # __0444508120
Book Description Condition: new. Questo è un articolo print on demand. Seller Inventory # bc228190f5f0c56428bbaf4d0cd0da5a
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9780444508126_lsuk
Book Description Condition: New. Seller Inventory # ABLIING23Feb2215580211801
Book Description Gebunden. Condition: New. This second volume of Handbook of Automated Reasoning covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.Pa. Seller Inventory # 594685341
Book Description Seller Inventory # STOCK00824369