Logic and Computation: Interactive Proof with Cambridge Lcf by Lawrence C. Paulson
Logic and Computation: Interactive Proof with Cambridge Lcf
—
Lawrence C. Paulson
Add cover

Logic and Computation: Interactive Proof with Cambridge Lcf

Lawrence C. Paulson

320 pages • first pub 1987 (editions)

informative lighthearted reflective medium-paced
Powered by AI (Beta)
Loading...

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

Read more

Community Reviews

Loading...

Content Warnings

Loading...