{"product_id":"semantics-and-logics-of-computation-9780521580571","title":"Semantics and Logics of Computation","description":"\u003cp\u003e • Author(s): A. Pitts | P. Dybjer | Andrew M. Pitts\u003cbr\u003e • Publisher: Cambridge University Press\u003cbr\u003e • Publisher Imprint: Cambridge University Press\u003cbr\u003e • BISAC: Programming Languages - General\u003c\/p\u003e\u003cp\u003eThis accessible and comprehensive volume addresses modern developments in semantics and logic of computation and will be an important source for graduate students and researchers working in this area.\u003c\/p\u003e","brand":"Cambridge University Press","offers":[{"title":"Hardcover","offer_id":46893024215191,"sku":"9780521580571","price":16225.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9780521580571.webp?v=1770313162","url":"https:\/\/atlanticbooks.com\/products\/semantics-and-logics-of-computation-9780521580571","provider":"Atlantic Books","version":"1.0","type":"link"}