Lectures on the Curry-Howard Isomorphism and over one million other books are available for Amazon Kindle. Learn more
Buy New
  • List Price: $180.00
  • Save: $33.70 (19%)
Only 10 left in stock (more on the way).
Ships from and sold by Amazon.com.
Gift-wrap available.
Sell yours for a Gift Card
We'll buy it for $2.00
Learn More
Sell It Now
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.30
26 New from $138.88 9 Used from $161.58 1 Collectible from $396.32
Amazon Price New from Used from
"Please retry"
"Please retry"
$138.88 $161.58
"Please retry"
Free Two-Day Shipping for College Students with Amazon Student Free%20Two-Day%20Shipping%20for%20College%20Students%20with%20Amazon%20Student

Best Books of the Year
See the Best Books of 2014
Looking for something great to read? Browse our editors' picks for 2014's Best Books of the Year in fiction, nonfiction, mysteries, children's books, and much more.

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

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: #2,843,982 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