Explore: Cambridge Lcf (computer System)
Discover books, insights, and more — all in one place.
Learn more about Cambridge Lcf (computer System) with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “cambridge-lcf-%28computer-system%29”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Logic and computation
By Lawrence C. Paulson
“Logic and computation” Metadata:
- Title: Logic and computation
- Author: Lawrence C. Paulson
- Language: English
- Number of Pages: Median: 311
- Publisher: Cambridge University Press
- Publish Date: 1987 - 1990
- Publish Location: Cambridge - New York
“Logic and computation” Subjects and Themes:
- Subjects: ➤ Cambridge LCF (Computer system) - Data processing - Computable functions - Démonstration de théorème - Cambridge LCF (logiciel) - Calculabilité - Fonctions calculables - Computer programs - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL7739304M - OL2389109M
- Online Computer Library Center (OCLC) ID: 16227523
- Library of Congress Control Number (LCCN): 87018305
- All ISBNs: 0521395607 - 9780521395601 - 9780521346320 - 0521346320
First Setence:
"Cambridge LCF is an interactive theorem prover for reasoning about computable functions."
Access and General Info:
- First Year Published: 1987
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Logic and computation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Logic and Computation
By Lawrence C. Paulson
“Logic and Computation” Metadata:
- Title: Logic and Computation
- Author: Lawrence C. Paulson
- Language: English
- Number of Pages: Median: 320
- Publisher: Cambridge University Press
- Publish Date: 1987 - 2011
- Publish Location: Cambridge
“Logic and Computation” Subjects and Themes:
- Subjects: ➤ Cambridge LCF (Computer system) - Data processing - Computable functions
Edition Identifiers:
- The Open Library ID: OL40488361M - OL27071615M
- Online Computer Library Center (OCLC) ID: 668199303
- All ISBNs: 9780511526602 - 9780511873256 - 0511873255 - 0511526601
Access and General Info:
- First Year Published: 1987
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Logic and Computation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.