Trade in your item
Get a $2.87
Gift Card.
Have one to sell? Sell on Amazon
Flip to back Flip to front
Listen Playing... Paused   You're listening to a sample of the Audible audio edition.
Learn more
See this image

Derivation and Computation: Taking the Curry-Howard correspondence seriously (Cambridge Tracts in Theoretical Computer Science) Hardcover – June 12, 2000

ISBN-13: 978-0521771733 ISBN-10: 0521771730

14 New from $83.93 19 Used from $69.55
Amazon Price New from Used from
Hardcover
"Please retry"
$83.93 $69.55
Paperback
"Please retry"
Free%20Two-Day%20Shipping%20for%20College%20Students%20with%20Amazon%20Student


Customers Who Viewed This Item Also Viewed

NO_CONTENT_IN_FEATURE

Shop the new tech.book(store)
New! Introducing the tech.book(store), a hub for Software Developers and Architects, Networking Administrators, TPMs, and other technology professionals to find highly-rated and highly-relevant career resources. Shop books on programming and big data, or read this week's blog posts by authors and thought-leaders in the tech industry. > Shop now

Product Details

  • Series: Cambridge Tracts in Theoretical Computer Science (Book 51)
  • Hardcover: 410 pages
  • Publisher: Cambridge University Press (June 12, 2000)
  • Language: English
  • ISBN-10: 0521771730
  • ISBN-13: 978-0521771733
  • Product Dimensions: 9.1 x 6.3 x 1.2 inches
  • Shipping Weight: 1.4 pounds
  • Amazon Best Sellers Rank: #4,650,805 in Books (See Top 100 in Books)

Editorial Reviews

Review

"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.

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