{"product_id":"logic-and-computation-interactive-proof-with-cambridge-lcf-l-c-paulson","title":"Logic and Computation Interactive Proof With Cambridge LCF L C Paulson","description":"\u003ch3\u003eDetails\u003c\/h3\u003e    \u003cul\u003e\n\u003cli\u003e            \u003cstrong\u003eType:            \u003c\/strong\u003e            Non-Fiction, Hardback\u003c\/li\u003e\n\u003cli\u003e      \u003cstrong\u003eCondition description:\u003c\/strong\u003e      foxing along the edge name pf previous owner in ink on inside page    \u003c\/li\u003e\n\u003cli\u003e            \u003cstrong\u003eTitle:            \u003c\/strong\u003e            Logic and Computation Interactive Proof With Cambridge LCF\u003c\/li\u003e\n\u003cli\u003e            \u003cstrong\u003eAuthor:            \u003c\/strong\u003e            L C Paulson\u003c\/li\u003e\n\u003cli\u003e            \u003cstrong\u003eISBN:            \u003c\/strong\u003e            9780521346320\u003c\/li\u003e\n\u003cli\u003e            \u003cstrong\u003eBook year:            \u003c\/strong\u003e            1987\u003c\/li\u003e\n\u003cli\u003e            \u003cstrong\u003ePublisher:            \u003c\/strong\u003e            Cambridge University Press\u003c\/li\u003e\n\u003cli\u003e            \u003cstrong\u003ePage count:            \u003c\/strong\u003e            302\u003c\/li\u003e\n\u003cli\u003e            \u003cstrong\u003eGenre:            \u003c\/strong\u003e            Academic, Science \u0026amp; Technology\u003c\/li\u003e\n\u003c\/ul\u003e\u003cbr\u003eThis item is being sold under the Retail Gift Aid scheme which enables us to increase the value of donations by 25%. Shelter would like to make customers aware that we, as do many charities, act as an agent for the donor, selling goods on their behalf so that the net sale proceeds can, where the donor agrees, be given to the charity as a Gift Aid donation.","brand":"E47","offers":[{"title":"Default Title","offer_id":63254922559875,"sku":"E47-0028763 6","price":15.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0099\/1258\/2210\/files\/IMG_2999_1.heic?v=1794156328","url":"https:\/\/shop.shelter.org.uk\/products\/logic-and-computation-interactive-proof-with-cambridge-lcf-l-c-paulson","provider":"Shop for Shelter","version":"1.0","type":"link"}