Logic and Computation: Interactive Proof with Cambridge LCF Book

Name: Logic and Computation: Interactive Proof with Cambridge LCF, , Lo
Brand: University Press
SKU: 9780521395601
Price: 99.99 USD
Availability: InStock
Rating: 2 (2 reviews)

2 Ratings

Logic and Computation: Interactive Proof with Cambridge LCF, , Logic and Computation: Interactive Proof with Cambridge LCF

2 out of 5 stars based on 2 reviews

Logic and Computation: Interactive Proof with Cambridge LCF
Written by author Lawrence C. Paulson
Published by Cambridge University Press, June 2003
Logic and Computation is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It combines methods of mathema

Buy Digital USD$99.99

Authors

Part I. Preliminaries:

1. Survey and history of LCF;
2. Formal proof in first order logic;
3. A logic of computable functions;
4. Structural induction;

Part II. Cambridge LCF:
5. Syntactic operators for PPL;
6. Theory structure;
7. Axioms and interference rules;
8. Tactics and tacticals;
9. Rewriting and simplification;
10. Sample proofs; Bibliography; Index.

Title: Logic and Computation: Interactive Proof with Cambridge LCF

Manufacturer:

University Press

Item Number: 9780521395601

Publication Date: June 2003

Number: 1

Product Description: Full Name: Logic and Computation: Interactive Proof with Cambridge LCF; Short Name:Logic and Computation

Universal Product Code (UPC): 9780521395601

WonderClub Stock Keeping Unit (WSKU): 9780521395601

Rating: 2/5 based on 2 Reviews

Image Location: https://wonderclub.com/images/covers/56/01/9780521395601.jpg

Category: Media >> Books

Weight: 0.200 kg (0.44 lbs)

Width: 0.000 cm (0.00 inches)

Heigh : 0.000 cm (0.00 inches)

Depth: 0.000 cm (0.00 inches)

Date Added: August 25, 2020, Added By: Ross

Date Last Edited: August 25, 2020, Edited By: Ross

Price	Condition	Delivery	Seller	Action
$99.99	Digital	Arrives between Apr 25 - May 25 Login to your account for a direct download. Some files are emailed from Dropbox. Continent $0.00 - World $0.00	WonderClub (9294 total ratings)

Question Concerning Logic and Computation

Ask a Question about Logic and Computation

No Question found!

Read Reviews for Logic and Computation: Interactive Proof with Cambridge LCF Write review

Andrew Atchie

reviewed Logic and Computation: Interactive Proof with Cambridge LCF on September 25, 2018

Logic and Computation

Nice

You must be logged in to add to Wishlist

This item is in your Wish List

This item is in your Collection

This Item is in Your Inventory

You must be logged in to review the products

Add Logic and Computation: Interactive Proof with Cambridge LCF, , Logic and Computation: Interactive Proof with Cambridge LCF to the inventory that you are selling on WonderClub

Add Logic and Computation: Interactive Proof with Cambridge LCF, , Logic and Computation: Interactive Proof with Cambridge LCF to your collection on WonderClub

Logic and Computation: Interactive Proof with Cambridge LCF Book

Book Categories

Authors

University Press

Question Concerning Logic and Computation

Read Reviews for Logic and Computation: Interactive Proof with Cambridge LCF Write review

Login

Complaints

Blog

Games

Digital Media

Souls

Obituary

Contact Us

FAQ