{"product_id":"a-treatise-on-manyvalued-logic-no-9-studies-in-logic-computation","title":"A Treatise on Manyvalued Logic: No. 9 (Studies in Logic \u0026 Computation)","description":"\u003cp\u003eFor Advanced Undergraduate Students Of Logic Or Computer Science With A Knowledge Of Elementary Notions From Classical Logic And Set Theory, And Lattices And Other Algebraic Structures, Gottwald (Logic And Philosophy Of Science, U. Of Leipzig, Germany) Explains The Theory Underling ManyValued Logic, And Surveys A Broad Class Of Applications. It Is The Growing Applications That Have Driven Recent Interest In The Logic, Especially In Computer Science For Automated Theorem Proving, Approximate Reasoning, MultiAgent Systems, Switching Theory, Program Verification, And Other Tricks. Annotation C. Book News, Inc., Portland, Or (Booknews.Com)\u003c\/p\u003e","brand":"Wiley-Blackwell","offers":[{"title":"Default Title","offer_id":45917774741702,"sku":"DADAX0863802621","price":59.48,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0695\/9389\/1014\/files\/51CRDCQAANL.jpg?v=1780643307","url":"https:\/\/ergodemedia.com\/products\/a-treatise-on-manyvalued-logic-no-9-studies-in-logic-computation","provider":"Ergodemedia","version":"1.0","type":"link"}