{"product_id":"proof-theory-and-logic-programming-computation-as-proof-search-9781009561297","title":"Proof Theory and Logic Programming: Computation as Proof Search","description":"\u003cp\u003e • Author(s): Dale Miller\u003cbr\u003e • Publisher: Cambridge University Press\u003cbr\u003e • Publisher Imprint: Cambridge University Press\u003cbr\u003e • BISAC: Programming Languages - General\u003c\/p\u003e\u003cp\u003eThis book offers a principled view of programming, showing how computation arises from logic. It explores different logical and proof-theoretic systems as foundations for programming, providing a deeper understanding for readers interested in the theoreti\u003c\/p\u003e","brand":"Cambridge University Press","offers":[{"title":"Hardcover","offer_id":46860928843927,"sku":"9781009561297","price":7197.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9781009561297.webp?v=1769959850","url":"https:\/\/atlanticbooks.com\/products\/proof-theory-and-logic-programming-computation-as-proof-search-9781009561297","provider":"Atlantic Books","version":"1.0","type":"link"}