Explore: Cambridge Lcf (logiciel)

Discover books, insights, and more — all in one place.

Learn more about Cambridge Lcf (logiciel) with top reads curated from trusted sources — all in one place.

Topic Search

Search for any topic

AI-Generated Overview About “cambridge-lcf-%28logiciel%29”:


Books Results

Source: The Open Library

The Open Library Search Results

Search results from The Open Library

1Logic and computation

By

Book's cover

“Logic and computation” Metadata:

  • Title: Logic and computation
  • Author:
  • Language: English
  • Number of Pages: Median: 311
  • Publisher: Cambridge University Press
  • Publish Date:
  • Publish Location: Cambridge - New York

“Logic and computation” Subjects and Themes:

Edition Identifiers:

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: