Logic and computation : interactive proof with Cambridge LCF
ShareCopied to clipboardLogic and computation : interactive proof with Cambridge LCF is a book. It was written by Lawrence C. Paulson and published by Cambridge University Press in 1987.
Key facts
- author: Lawrence C. Paulson
- publication date: 1987
- book publisher: Cambridge University Press
- book series: Cambridge tracts in theoretical computer science
- book subjects: Computable functions-Data processing
See more factsExtract data
Download datasets about Logic and computation : interactive proof with Cambridge LCF:
Dataset of books series that contain Logic and computation : interactive proof with Cambridge LCF
"Logic and computation : interactive proof with Cambridge LCF" is one of the books by Lawrence C. Paulson, books by Cambridge University Press and 2,617,384 books in our database.
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.