{"product_id":"the-little-prover-the-mit-press","title":"The Little Prover (The MIT Press)","description":"Brand New From Reputable UK Company With 30 Years Experience In Retail, Please Note Not All Our New Items Are Shrink Wrapped.\u003cbr\u003eAll items shipped within 3 working days of payment.\u003cbr\u003ePlease note that all our DVDs are Region 2.\u003cbr\u003e\u003cbr\u003e\u003cbr\u003e\\\\'The Little Prover\\\\' is a thought-provoking book in the field of computer science and mathematics, co-authored by Daniel P. Friedman and Carl Eastlund. This engaging read introduces readers to the world of theorem proving through a series of puzzles and exercises. By following the journey of the Little Prover, readers will gain a deeper understanding of logical reasoning and computational thinking. Perfect for those interested in formal verification and programming languages, this book offers a unique and interactive approach to learning complex concepts. Dive into the world of theorem proving and challenge your mind with \\\\'The Little Prover.\\\\'","brand":"Chalkys.com","offers":[{"title":"Default Title","offer_id":49055223742786,"sku":"1674031","price":47.48,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0056\/8043\/1219\/files\/51DvCDQ3VRL._SL1500.jpg?v=1718460743","url":"https:\/\/chalkys.com\/products\/the-little-prover-the-mit-press","provider":"Chalkys.com","version":"1.0","type":"link"}