{"product_id":"a-hierarchical-technique-for-mechanical-theorem-proving-and-its-application-to-programming-language-design-9781024204735","title":"A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design","description":"","brand":"Creative Media Partners, LLC","offers":[{"title":"Default Title","offer_id":53180844474711,"sku":"9781024204735","price":23.7,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/a-hierarchical-technique-for-mechanical-theorem-proving-and-its-application-to-programming-language-design-9781024204735","provider":"Book Curl","version":"1.0","type":"link"}