{"product_id":"proof-theory-and-logic-programming-9781009561297","title":"Proof Theory and Logic Programming","description":"\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAbout the Author\u003c\/b\u003e\u003cbr\u003e\u003cb\u003e\u003ci\u003eMiller, Dale:\u003c\/i\u003e\u003c\/b\u003e - Dale Miller is Director of Research at INRIA Saclay-Île-de-France. He has been a professor at the University of Pennsylvania, Pennsylvania State University, and the École Polytechnique in France. He served as Editor-in-Chief of the 'ACM Transactions on Computational Logic' and has received an ERC Advanced Investigators Grant, the LICS Test-of-Time Award (twice), and the Dov Gabbay Prize for Logic and Foundations. He is an ACM Fellow.","brand":"Cambridge University Press","offers":[{"title":"Default Title","offer_id":52179927269650,"sku":"9781009561297","price":78.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0831\/4771\/8930\/files\/img_5abbcd3a-00c0-4c3a-9ce8-77c4d5d8fc2a.jpg?v=1775640442","url":"https:\/\/surprise-castle.myshopify.com\/products\/proof-theory-and-logic-programming-9781009561297","provider":"Surprise Castle","version":"1.0","type":"link"}