{"product_id":"logic-and-computation-cambridge-university-press-9780521395601-interactive-proof-with-cambridge-lcf-lawrence-c-paulson","title":"Logic and Computation","description":"\u003cp\u003eDiscover the fascinating world of formal theorem-proving with \u003cstrong\u003eLogic and Computation\u003c\/strong\u003e by \u003cstrong\u003eLawrence C. Paulson\u003c\/strong\u003e. Published by \u003cstrong\u003eCambridge University Press\u003c\/strong\u003e in 1990, this comprehensive 320-page volume delves into techniques specifically related to Cambridge LCF (Logic for Computable Functions). Ideal for graduate students and researchers in theoretical computer science, this book serves as an essential resource for understanding the intricacies of logic and computation. Enhance your knowledge and skills in application software, programming, and certification with this authoritative guide. Whether you are looking to deepen your expertise or embark on new research, \u003cstrong\u003eLogic and Computation\u003c\/strong\u003e is a valuable addition to your academic library.\u003c\/p\u003e","brand":"Lawrence C. Paulson","offers":[{"title":"Default Title","offer_id":52236733022550,"sku":"9780521395601","price":63.05,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521395601.jpg?v=1767757647","url":"https:\/\/www.laufgard.com\/products\/logic-and-computation-cambridge-university-press-9780521395601-interactive-proof-with-cambridge-lcf-lawrence-c-paulson","provider":"Bookshop","version":"1.0","type":"link"}