{"product_id":"first-order-dynamic-logic-9783540092377","title":"First-Order Dynamic Logic","description":"\u003cp\u003e • Author(s): D. Harel\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Computer Science\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45280515588247,"sku":"9783540092377","price":728.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540092377.webp?v=1769296539","url":"https:\/\/atlanticbooks.com\/products\/first-order-dynamic-logic-9783540092377","provider":"Atlantic Books","version":"1.0","type":"link"}