{"product_id":"semantics-and-logics-of-computation-9780521118460","title":"Semantics and Logics of Computation","description":"\u003cp\u003e • Author(s): Andrew M. Pitts | P. Dybjer | Peter Dybjer\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":"Paperback","offer_id":47584331366551,"sku":"9780521118460","price":5704.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9780521118460.webp?v=1774955703","url":"https:\/\/atlanticbooks.com\/products\/semantics-and-logics-of-computation-9780521118460","provider":"Atlantic Books","version":"1.0","type":"link"}