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

Name: Lectures on the Curry-Howard Isomorphism (Studies in Logic and the Foundations of Mathematics)
Author: Morten Heine Sorensen, Pawel Urzyczyn
ISBN: 9780444520777

Author Morten Heine Sorensen, Pawel Urzyczyn

Publisher Studies in Logic and the Foundations of Mathematics

📄 Viewing lite version Full site ›

🌎 Shop on Amazon — choose country

🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India

⌛ 🇬🇧 United Kingdom pricing being fetched… Prices will appear once fetched — usually within a few minutes.

View in: 🇩🇪 Germany 🇺🇸 USA

Book Details

Author(s)Morten Heine Sorensen, Pawel Urzyczyn

PublisherStudies in Logic and the Foundations of Mathematics

ISBN / ASIN0444520775

ISBN-139780444520777

MarketplaceUnited Kingdom 🇬🇧