Lectures on the Curry-Howard Isomorphism and over one million other books are available for Amazon Kindle. Learn more
Buy New
  • List Price: $170.00
  • Save: $23.67 (14%)
Only 9 left in stock (more on the way).
Ships from and sold by Amazon.com.
Gift-wrap available.
Lectures on the Curry-How... has been added to your Cart
Trade in your item
Get a $11.05
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

Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics) Hardcover – September 28, 2006

ISBN-13: 978-0444520777 ISBN-10: 0444520775 Edition: 1st

Buy New
Price: $146.33
23 New from $140.13 11 Used from $151.70
Amazon Price New from Used from
"Please retry"
"Please retry"
$140.13 $151.70
"Please retry"


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: Studies in Logic and the Foundations of Mathematics (Book 149)
  • Hardcover: 456 pages
  • Publisher: Elsevier Science; 1 edition (September 28, 2006)
  • Language: English
  • ISBN-10: 0444520775
  • ISBN-13: 978-0444520777
  • Product Dimensions: 6.1 x 1 x 9.2 inches
  • Shipping Weight: 1.8 pounds (View shipping rates and policies)
  • Average Customer Review: 5.0 out of 5 stars  See all reviews (1 customer review)
  • Amazon Best Sellers Rank: #1,452,234 in Books (See Top 100 in Books)

More About the Author

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

Customer Reviews

5.0 out of 5 stars
5 star
4 star
3 star
2 star
1 star
See the customer review
Share your thoughts with other customers

Most Helpful Customer Reviews

6 of 6 people found the following review helpful By symbolic on March 21, 2010
Format: Hardcover Verified Purchase
This is a superbly written, fascinating, greatly informative book.
I have used it primarily as an introduction to lambda calculus and
intuitionistic logic in its BHK, natural deduction, and sequent calculus
forms, not to mention the comparative treatment of those with their
classical counterparts. In these regards, it is clear and concise while
nonetheless being thorough and presenting a full spectrum of interesting results,
i.e., all the highpoints and more. It also explains the history and motivation
and offers hundreds of useful references. It also has chapters on
second-order logic and polymorphism. I say all this having read
perhaps 1/15th of the material; I'm very happy I bought it.
And of course, it has a lot to say about their main topic, the Curry-Howard
isomorphism, which I am now finding I need to understand as well.
Good thing I have this book. These authors have just done a magnificent job.
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again

Frequently Bought Together

Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics) + Interactive Theorem Proving and Program Development
Price for both: $233.53

Buy the selected items together