Logic and Computation: Interactive Proof with Cambridge Lcf

by Lawrence C. Paulson

Book Overview

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...

• Format: Paperback
• Language: English
• ISBN: 0521395607
• ISBN13: 9780521395601
• Release Date: July 1990
• Publisher: Cambridge University Press
• Length: 320 Pages
• Weight: 1.50 lbs.
• Dimensions: 0.6" x 6.7" x 9.5"