PrefaceAcknowledgements1. Typefree lambda-calculus2. Intuitionistic logic3. Simply typed lambdacalculus4. The Curry-Howard isomorphism5. Proofs as combinators6. Classical logic and control operators7. Sequent calculus8. First-order logic9. First-order arithmetic10. Gödel's system T11. Second-order logic and polymorphism12. Second-order arithmetic13. Dependent types14. Pure type systems and the lambda-cubeA Mathematical BackgroundB Solutions and hints to selected exercisesBibliographyIndex

Fishpond works with suppliers all over the world to bring you a huge selection of products, really great prices, and delivery included on over 25 million products that we sell. We do our best every day to make Fishpond an awesome place for customers to shop and get what they want — all at the best prices online.

About Fishpond

You can earn a 8% commission by selling Lectures on the Curry-Howard Isomorphism (Studies in Logic and the Foundations of Mathematics) on your website. It's easy to get started - we will give you example code. After you're set-up, your website can earn you money while you work, play or even sleep! You should start right now!

Are you the Author or Publisher of a book? Or the manufacturer of one of the millions of products that we sell. You can improve sales and grow your revenue by submitting additional information on this title. The better the information we have about a product, the more we will sell!

Submit Information

Table of Contents