ANTIQBOOK
  fine books  -  fair prices
   Search Antiqbook   


Ask a question or
Order this book


Browse our books
Search our books
Book dealer info



Title: Logic and Computation: Interactive Proof with Cambridge Lcf
Description: Cambridge University Press. 1990. (ISBN: 0521395607). Paperback, 9.4 x 6.7 x 0.4 inches. Paperback - 1990 - good condition - - used books, secondhand books, out of print books, hard to find books, for sale, second-hand books, college books, student books, nonfiction, first edition, exlibrary books sold, non-fiction books delivered world wide. 0-521-39560-7. Isbn 0-521395607. 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. Good.

Keywords: 0521395607

Price: GBP 16.03 = appr. US$ 22.89 Seller: Lady Lisa's Bookshop
- Book number: 9744



Hundreds of the world's finest antiquarian and used booksellers offer their books on Antiqbook. They offer full satisfaction and normal prices - no markups, no hidden costs, no overcharged shipping costs. 8 million books at your fingertips!
Search all books at Antiqbook