{"product_id":"logic-for-computer-science-foundations-of-automatic-theorem-proving-second-edition","title":"Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition","description":"\u003cp\u003e\u003cstrong\u003eNew copy of Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition by Jean H. Gallier.\u003c\/strong\u003e - Paperback, Published by Dover Publications, Incorporated, 544 pages, ISBN-13: 9780486780825, ISBN-10: 0486780821.\u003c\/p\u003e\u003cp\u003eHassle-free 30-day returns. Free shipping on orders over $35.\u003c\/p\u003e","brand":"Dover Publications, Incorporated","offers":[{"title":"Default Title","offer_id":46307204956394,"sku":"DS-CA-0486780821","price":51.99,"currency_code":"CAD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0647\/1735\/7290\/files\/51UllDdavsL.jpg?v=1789915759","url":"https:\/\/justgreatbooks.org\/products\/logic-for-computer-science-foundations-of-automatic-theorem-proving-second-edition","provider":"Just Great Books","version":"1.0","type":"link"}