{"product_id":"proof-theory-and-logic-programming","title":"Proof Theory and Logic Programming","description":"This 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.","brand":"EMKA","offers":[{"title":"Default Title","offer_id":53206196552011,"sku":"9781009561297","price":105.0,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/3549\/8785\/files\/6bed9646e00bca76aea8cbb886303635.jpg?v=1765909077","url":"https:\/\/emka.si\/products\/proof-theory-and-logic-programming","provider":"EMKA","version":"1.0","type":"link"}