{"product_id":"norman-rubin-a-hierarchical-technique-for-mechanical-theorem-proving-and-its-application-to-programming-language-design-9781176103825","title":"A Hierarchical Technique for Mechanical Theorem Proving and Its Application to Programming Language Design","description":null,"brand":"Nabu Press","offers":[{"title":"Default Title","offer_id":53729987854678,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/norman-rubin-a-hierarchical-technique-for-mechanical-theorem-proving-and-its-application-to-programming-language-design-9781176103825","provider":"momoxbooks","version":"1.0","type":"link"}