Books listed by ISBN
>
Elsevier Science
> Morten Heine Sørensen M.Sc Ph.D
Morten Heine Sørensen M.Sc Ph.D
title
ISBN-13
(ISBN-10)
year of publica-
tion
other author(s)
Lectures on the Curry-Howard Isomorphism, Volume 149
978-O-444-52O77-7
(O-444-52O77-5)
2006
Pawel Urzyczyn prof. dr hab.
H. M.
·
H.S.
·
M. H.
·
M M
·
M S.
·
Morten Heine Sørensen
·
S M
Morten Heine Sørensen M.Sc Ph.D