Logic and Computation: Interactive Proof with Cambridge LCF by Lawrence C. Paulson (Paperback, 1990)
Be the first to write a review.
Brand new: lowest price
AU $91.48
+ AU $7.50 postage- Get it by Tue, 12 Jun - Wed, 20 Jun from Priority Airmail from England, United Kingdom
- • Brand new condition
- • Returns accepted - 14 days money back
Cambridge LCF is a computer program for reasoning about computation. This book consists of two parts. 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.