{"product_id":"9780817647629","title":"Logic for Computer Scientists (Modern Birkh\u0026#228;user Classics)","description":"\u003cp\u003eBy the development of new fields and applications, such as Automated Theorem Proving and Logic Programming, Logic has obtained a new and important role in Computer Science. The goal of this l- ture series was to give the undergraduate student an early and theoretically well-founded access to modern applications of Logic in Computer Science.\u003c\/p\u003e","brand":"Birkh\u0026#228;user","offers":[{"title":"Default Title","offer_id":48682192175339,"sku":"00000_00000_00000_00000","price":146.47,"currency_code":"SGD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0758\/4484\/5803\/files\/9780817647629-1.jpg?v=1785751867","url":"https:\/\/kinokuniya.com.sg\/products\/9780817647629","provider":"Books Kinokuniya Singapore","version":"1.0","type":"link"}