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

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

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

See all 2 formats and editions Hide other formats and editions
Amazon Price New from Used from Collectible from
Hardcover
"Please retry"
$87.50 $65.71
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 Digital Design Bookstore
Check out the Digital Design Bookstore, a new hub for photographers, art directors, illustrators, web developers, and other creative individuals to find highly rated and highly relevant career resources. Shop books on web development and graphic design, or check out blog posts by authors and thought-leaders in the design 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.2 x 6.2 x 1.1 inches
  • Shipping Weight: 1.4 pounds
  • Amazon Best Sellers Rank: #4,818,498 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
ARRAY(0xa36565a0)