What do you think?
Rate this book
Cambridge Tracts in Theoretical Computer Science
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science) by Lawrence C. Paulson
This study of techniques for formal theorem-proving focuses on the applications of Cambridge LCF (Logic for Computable Functions), a computer program for reasoning about computation.
- GenresLogicComputer Science
Hardcover
First published October 15, 1987
9 people want to read
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.