{"product_id":"logic-and-computation-lawrence-c-paulson-9780521395601","title":"Logic and Computation: Interactive Proof with Cambridge Lcf","description":"Logic and Computation is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It combines methods of mathematical logic with domain theory, the basis of the denotational approach to specifying the meaning of statements in a programming language. This book consists of two parts. Part I outlines the mathematical preliminaries: elementary logic and domain theory. They are explained at an intuitive level, giving references to more advanced reading. Part II provides enough detail to serve as a reference manual for Cambridge LCF. It will also be a useful guide for implementors of other programs based on the LCF approach.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Lawrence C. Paulson\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 0521395607\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9780521395601\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Cambridge University Press\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 07\/27\/1990\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 320\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.50lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.53h x 6.71w x 0.64d","brand":"Lawrence C. Paulson","offers":[{"title":"Paperback","offer_id":48483503407359,"sku":"9780521395601","price":72.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_d7ce3898-f643-44fe-a939-8539b323c48e.jpg?v=1778039035","url":"https:\/\/www.whiterainbookhouse.com\/products\/logic-and-computation-lawrence-c-paulson-9780521395601","provider":"WR Book House","version":"1.0","type":"link"}