Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149)
Full Title: | Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149) |
---|---|
ISBN: | 0444520775 |
ISBN13: | 9780444520777 |
List Price: | USD $169.99 |
Authors: |
Sørensen M.Sc Ph.D, Morten Heine Urzyczyn prof. dr hab., Pawel |
Related ISBNs