{"product_id":"proofs-and-types-cambridge-tracts-in-theoretical-computer-science-series-number-7-9780521371810","title":"Proofs and Types (Cambridge Tracts in Theoretical Computer Science  Series Number 7)","description":"\u003cp\u003e\u003c\/p\u003e","brand":"My Store","offers":[{"title":"Default Title","offer_id":45276022702133,"sku":"ByrdShop_0521371813","price":571.92,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0627\/8139\/0901\/files\/9780521371810.jpg?v=1780521536","url":"https:\/\/atxbooks.com\/products\/proofs-and-types-cambridge-tracts-in-theoretical-computer-science-series-number-7-9780521371810","provider":"ATX Books","version":"1.0","type":"link"}