Cambridge LCF is an interactive theorem prover for reasoning about computable functions.
An edition of Logic and computation
(1987)
Logic and Computation
Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science)
New Ed edition
by Lawrence C. Paulson
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
| Edition | Availability |
|---|---|
1
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science)
July 27, 1990, Cambridge University Press
Paperback
in English
- New Ed edition
0521395607 9780521395601
|
aaaa
|
2
Logic and computation: interactive proof with Cambridge LCF
1987, Cambridge University Press
in English
0521346320 9780521346320
|
zzzz
|
Book Details
First Sentence
"Cambridge LCF is an interactive theorem prover for reasoning about computable functions."
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Excerpts
added anonymously.
Community Reviews (0)
Lists
See All
| August 18, 2020 | Edited by ImportBot | import existing book |
| August 18, 2020 | Edited by ImportBot | import existing book |
| July 5, 2019 | Edited by MARC Bot | import existing book |
| April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
| December 10, 2009 | Created by WorkBot | add works page |