{"product_id":"proof-theory-and-logic-programming-9781009561297","title":"Proof Theory and Logic Programming","description":"\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 theoretical underpinnings of computation and the logic programming paradigm.\u003c\/p\u003e","brand":"Dale Miller","offers":[{"title":"Default Title","offer_id":56503205429590,"sku":"9781009561297","price":79.3,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781009561297.jpg?v=1794001751","url":"https:\/\/www.bookshop.lt\/products\/proof-theory-and-logic-programming-9781009561297","provider":"Bookshop","version":"1.0","type":"link"}