- 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: 1 customer review
- Amazon Best Sellers Rank: #2,034,935 in Books (See Top 100 in Books)
Enter your mobile number or email address below and we'll send you a link to download the free Kindle App. Then you can start reading Kindle books on your smartphone, tablet, or computer - no Kindle device required.
To get the free app, enter your mobile phone number.
Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics) 1st Edition
Use the Amazon App to scan ISBNs and compare prices.
Customers who viewed this item also viewed
Customers who bought this item also bought
Browse award-winning titles. See more
Top customer reviews
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.