Logic and Computation Image close
Logic and Computation by Lawrence C. Paulson
Logic and Computation by Lawrence C. Paulson
Show Hide Adult Content
Logic and Computation close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Mathematical foundations  
Mathematical logic

Logic and Computation

Interactive Proof with Cambridge LCF
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$169.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $42.25 with Afterpay Learn more

6 weekly interest-free payments of $28.17 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 12-24 June using International Courier

Explore more Cambridge Tracts in Theoretical Computer Science

See all products in this series

Modal Logic by Patrick Blackburn
$280.00
Modal Logic
by Patrick Blackburn ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Extensions of First-Order Logic by Maria Manzano
$222.00
Extensions of First-Order Logic
by Maria Manzano ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The Clausal Theory of Types by D.A. Wolfram
$100.00
The Clausal Theory of Types
by D.A. Wolfram ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Understanding Z by J.M. Spivey
$121.00
Understanding Z
by J.M. Spivey ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Design Theory and Computer Science on Hardback by Subrata Dasgupta
$474.00
Design Theory and Computer Science
by Subrata Dasgupta ~ Hardback
Available - Usually ships in 3-4 weeks
A Unifying Framework for Structured Analysis and Design Models on Hardback by T.H. Tse
$292.00
A Unifying Framework for Structured Analysis and Design Models
by T.H. Tse ~ Hardback
Available - Usually ships in 3-4 weeks
Derivation and Computation on Hardback by H. Simmons
$382.00
Derivation and Computation
by H. Simmons ~ Hardback
Available - Usually ships in 3-4 weeks
Nominal Sets on Hardback by Andrew M. Pitts
$181.00
Nominal Sets
by Andrew M. Pitts ~ Hardback
Available - Usually ships in 3-4 weeks
Nets, Terms and Formulas on Hardback by E-.R. Olderog
$336.00
Nets, Terms and Formulas
by E-.R. Olderog ~ Hardback
Available - Usually ships in 3-4 weeks
Higher Order Logic and Hardware Verification by T.F. Melham
$98.00
Higher Order Logic and Hardware Verification
by T.F. Melham ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Nets, Terms and Formulas by E-.R. Olderog
$138.00
Nets, Terms and Formulas
by E-.R. Olderog ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Topology via Logic by Steven Vickers
$172.00
Topology via Logic
by Steven Vickers ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Metamathematics, Machines and Gödel's Proof by N. Shankar
$137.00
Metamathematics, Machines and Gödel's Proof
by N. Shankar ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Domains and Lambda-Calculi by Roberto M. Amadio
$185.00
Domains and Lambda-Calculi
by Roberto M. Amadio ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Basic Simple Type Theory by J. Roger Hindley
$131.00
Basic Simple Type Theory
by J. Roger Hindley ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The Clausal Theory of Types on Hardback by D.A. Wolfram
$197.00
The Clausal Theory of Types
by D.A. Wolfram ~ Hardback
Available - Usually ships in 3-4 weeks

Description

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 mathematical logic with domain theory, the basis of the denotational approach to specifying the meaning of statements in a programming language. This book consists of two parts. Part I outlines the mathematical preliminaries: elementary logic and domain theory. They are explained at an intuitive level, giving references to more advanced reading. Part II provides enough detail to serve as a reference manual for Cambridge LCF. It will also be a useful guide for implementors of other programs based on the LCF approach.
Release date NZ
July 26th, 1990
Audience
  • Professional & Vocational
Illustrations
Worked examples or Exercises
Pages
320
Dimensions
187x247x19
ISBN-13
9780521395601
Product ID
1968147

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by Lawrence C. Paulson

See all books by this author

Isabelle/HOL by Tobias Nipkow
$162.00
Isabelle/HOL
by Tobias Nipkow ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Isabelle by Lawrence C. Paulson
$151.00
Isabelle
by Lawrence C. Paulson ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Hardware & Operating Systems >
Mainframes & minicomputers
Books >
Computers & Internet >
Computer hardware >
Mainframes & minicomputers
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation