Logic and computation - Info and Reading Options
interactive proof with Cambridge LCF
By Lawrence C. Paulson
"Logic and computation" was published by Cambridge University Press in 1987 - Cambridge, it has 302 pages and the language of the book is English.
“Logic and computation” Metadata:
- Title: Logic and computation
- Author: Lawrence C. Paulson
- Language: English
- Number of Pages: 302
- Publisher: Cambridge University Press
- Publish Date: 1987
- Publish Location: Cambridge
“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 Specifications:
- Pagination: xiii, 302 p. ;
Edition Identifiers:
- The Open Library ID: OL2389109M - OL3260270W
- Online Computer Library Center (OCLC) ID: 16227523
- Library of Congress Control Number (LCCN): 87018305
- ISBN-13: 9780521346320 - 9780521395601
- ISBN-10: 0521346320
- All ISBNs: 0521346320 - 9780521346320 - 9780521395601
AI-generated Review of “Logic and computation”:
Snippets and Summary:
Cambridge LCF is an interactive theorem prover for reasoning about computable functions.
Read “Logic and computation”:
Read “Logic and computation” by choosing from the options below.
Search for “Logic and computation” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Logic and computation” in Libraries Near You:
Read or borrow “Logic and computation” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Logic and computation” at a library near you.
Buy “Logic and computation” online:
Shop for “Logic and computation” on popular online marketplaces.
- Ebay: New and used books.