{"product_id":"a-hierarchical-technique-for-mechanical-theorem-proving-and-its-application-to-programming-language-design-9781024208504","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":53180867346775,"sku":"9781024208504","price":13.95,"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-9781024208504","provider":"Book Curl","version":"1.0","type":"link"}