Buy New
  • List Price: $170.00
  • Save: $45.70 (27%)
Only 5 left in stock (more on the way).
Ships from and sold by
Gift-wrap available.
Add to Cart
Want it Friday, April 18? Order within and choose One-Day Shipping at checkout. Details
Trade in your item
Get a $13.42
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

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

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

See all 2 formats and editions Hide other formats and editions
Amazon Price New from Used from Collectible from
"Please retry"
$124.30 $178.73
"Please retry"



Sell Your Books
Get up to 75% back when you sell your books on Amazon. Ship your books for free and get Gift Cards. Learn more.

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: 9.2 x 6.3 x 0.8 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,998,686 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

Product Images from Customers