{"product_id":"9781009561297","title":"Proof Theory and Logic Programming : Computation as Proof Search by Dale Miller","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.\u003cbr\u003eBinding: Hardback","brand":"Gardners","offers":[{"title":"Default Title","offer_id":56368265625973,"sku":"9781009561297","price":59.99,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/backstory.london\/products\/9781009561297","provider":"Backstory","version":"1.0","type":"link"}