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.
·
H. Sörensen
·
M. H.
·
M M
·
M S.
·
S M
Morten Helbaek