{"product_id":"9789400700048","title":"Dual Tableaux : Foundations, Methodology, Case Studies (Trends in Logic) \u003cVol. 33\u003e","description":"\u003cp\u003eProviding a reference for researchers and students, this volume presents the fundamental concepts of dual tableaux, and a wide scope of applications. These include logic methods used in mathematics and philosophy, as well as applied theories of computational logic.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":48769971486955,"sku":"00000_00000_00000_00000","price":311.28,"currency_code":"SGD","in_stock":true}],"url":"https:\/\/kinokuniya.com.sg\/zh\/products\/9789400700048","provider":"Books Kinokuniya Singapore","version":"1.0","type":"link"}