ISBN 0444520775 books & textbook
Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149)
Sørensen M.Sc Ph.D, Morten Heine Urzyczyn prof. dr hab., Pawel
Elsevier Science /2006-09-28 Hardcover / 456 Pages
isbn-10: 0444520775 / isbn-13: 9780444520777
