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
Last edited by Scott365Bot
March 23, 2024 | History
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Showing 2 featured editions. View all 2 editions?
| 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
Libraries near you:
WorldCat
|
2
Logic and computation: interactive proof with Cambridge LCF
1987, Cambridge University Press
in English
0521346320 9780521346320
|
zzzz
Libraries near you:
WorldCat
|
Book Details
First Sentence
"Cambridge LCF is an interactive theorem prover for reasoning about computable functions."
Classifications
The Physical Object
ID Numbers
Excerpts
added anonymously.
Community Reviews (0)
Feedback?
History
- Created April 29, 2008
- 8 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| March 23, 2024 | Edited by Scott365Bot | Linking back to Internet Archive. |
| December 7, 2022 | Edited by ImportBot | import existing book |
| December 24, 2021 | Edited by ImportBot | import existing book |
| August 18, 2020 | Edited by ImportBot | import existing book |
| April 29, 2008 | Created by an anonymous user | Imported from amazon.com record |