Amazon.com: Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics) (9780444520777): Morten Heine Sørensen M.Sc Ph.D, Pawel Urzyczyn prof. dr hab.: Books

http://www.amazon.com/Lectures-Curry-Howard-Isomorphism-Foundations-Mathematics/dp/0444520775/ref=sr_11_1/002-0321247-3806429?ie=UTF8