Automotive Holiday Deals Books Holiday Gift Guide Shop Women's Cyber Monday Deals Week Learn more nav_sap_SWP_6M_fly_beacon Indie for the Holidays egg_2015 Fire TV Stick Grocery Gifts for Her Amazon Gift Card Offer mithc mithc mithc  Amazon Echo Starting at $49.99 Kindle Voyage R6 Siege Outdoor Deals on bgg

Enter your mobile number or email address below and we'll send you a link to download the free Kindle App. Then you can start reading Kindle books on your smartphone, tablet, or computer - no Kindle device required.

  • Apple
  • Android
  • Windows Phone
  • Android

To get the free app, enter your email address or mobile phone number.

Derivation and Computation: Taking the Curry-Howard correspondence seriously (Cambridge Tracts in Theoretical Computer Science)

ISBN-13: 978-0521771733
ISBN-10: 0521771730
Why is ISBN important?
This bar-code number lets you verify that you're getting exactly the right version or edition of a book. The 13-digit and 10-digit formats both work.
Scan an ISBN with your phone
Use the Amazon App to scan ISBNs and compare prices.
Have one to sell? Sell on Amazon
Buy used
Condition: Used - Good
In Stock. Sold by Phatpocket Bookstore
Condition: Used: Good
Comment: Ships same or next working day from UK. Delivered in 1 - 3 weeks (or select two-day/expedited shipping). Your purchase helps support the African Children's Educational Trust (A-CET). Ex-library, so some stamps and wear, but in good overall condition. 100% money back guarantee. We are a world class secondhand bookstore based in Hertfordshire, United Kingdom and specialize in high quality textbooks across an enormous variety of subjects. We aim to provide a vast range of textbooks, rare and collectible books at a great price. Through our work with A-CET we have helped give hundreds of young people in Africa the vital chance to get an education. We provide a 100% money back guarantee and are dedicated to providing our customers with the highest standards of service in the bookselling industry.
Access codes and supplements are not guaranteed with used items.
20 Used from $58.88
+ $3.99 shipping
More Buying Choices
14 New from $60.00 20 Used from $58.88
Free Two-Day Shipping for College Students with Amazon Student Free%20Two-Day%20Shipping%20for%20College%20Students%20with%20Amazon%20Student

Get Up to 80% Back Rent Textbooks

Editorial Reviews


"The book is rather snappily written. It's informal, breezy - sometimes positively jaunty - and always directed to the reader. It can't be emphasized enough that the great thing about this book is its many well-chosen, completely solved exercises. This alone makes it a valuable text, especially for self-study."
Robert J. Irwin, Hamilton College for SIGACT News

Book Description

Two of the fundamental notions of mathematics, proof and calculation, 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. Each of its 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.

Product Details

More About the Author

Discover books, learn about writers, read author blogs, and more.

Customer Reviews

There are no customer reviews yet.
5 star
4 star
3 star
2 star
1 star
Share your thoughts with other customers