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... This description may be from another edition of this product.

• 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"