Derivation and Computation Image close
Derivation and Computation on Hardback by H. Simmons
Derivation and Computation on Hardback by H. Simmons
Show Hide Adult Content
Derivation and Computation close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Mathematical foundations

Derivation and Computation

Taking the Curry-Howard Correspondence Seriously
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Hardback
$382.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 $95.50 with Afterpay Learn more

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

Availability

Delivering to:

Estimated arrival:

  • Around 13-25 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
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
Logic and Computation by Lawrence C. Paulson
$169.00
Logic and Computation
by Lawrence C. Paulson ~ 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

Mathematics is about proofs, that is the derivation of correct statements; and calculations, that is the production of results according to well-defined sets of rules. The two notions are intimately related. Proofs can involve calculations, and the algorithm underlying a calculation should be proved correct. The aim of the author is to explore this relationship. The book itself forms an introduction to simple type theory. Starting from the familiar propositional calculus the author develops the central idea of an applied lambda-calculus. This is illustrated by an account of Gödel's T, a system which codifies number-theoretic function hierarchies. Each of the book's 52 sections ends with a set of exercises, some 200 in total. These are designed to help the reader get to grips with the subject, and develop a further understanding. An appendix contains complete solutions of these exercises.
Release date NZ
May 18th, 2000
Author
Audience
  • Professional & Vocational
Illustrations
Worked examples or Exercises; 23 Tables, unspecified
Pages
412
Dimensions
158x236x26
ISBN-13
9780521771733
Product ID
2161276

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

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations
Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation