{"product_id":"9780192867964","title":"Fragments of First-Order Logic (Oxford Logic Guides)","description":"\u003cp\u003ePratt-Hartmann considers for which fragments of first-order logic there is an effective method for determining satisfiability or finite satisfiability. Furthermore, he asks, if these problems are decidable for some fragment, what is their computational complexity?\u003c\/p\u003e","brand":"Oxford University Press","offers":[{"title":"Default Title","offer_id":45376629735503,"sku":"00000_00000_00000_00000","price":6475.0,"currency_code":"TWD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0672\/9174\/2287\/files\/9780192867964-1.jpg?v=1780182253","url":"https:\/\/kinokuniya.com.tw\/ja\/products\/9780192867964","provider":"Books Kinokuniya Taiwan","version":"1.0","type":"link"}