Lectures on the Curry-Howard Isomorphism and over one million other books are available for Amazon Kindle. Learn more
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
Sell yours for a Gift Card
We'll buy it for $5.63
Learn More
Trade in now
Have one to sell? Sell on Amazon

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 used
Buy new
Used & new from other sellers Delivery options vary per offer
43 used & new from $110.00
Amazon Price New from Used from
"Please retry"
"Please retry"
$140.29 $110.00
"Please retry"

Hero Quick Promo
Save up to 90% on Textbooks
Rent textbooks, buy textbooks, or get up to 80% back when you sell us your books. Shop Now
$146.30 FREE Shipping. Only 7 left in stock (more on the way). Ships from and sold by Amazon.com. Gift-wrap available.

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: 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,465,253 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

Set up an Amazon Giveaway

Amazon Giveaway allows you to run promotional giveaways in order to create buzz, reward your audience, and attract new followers and customers. Learn more
Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics)
This item: Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics)
Price: $146.30
Ships from and sold by Amazon.com