Denmark) Sørensen, Morten Heine, M.Sc, Ph.D (University of Copenhagen - Böcker

Visar alla böcker från författaren Denmark) Sørensen, Morten Heine, M.Sc, Ph.D (University of Copenhagen.

1 produkt

Kategorier

1 produkt

Del 149

Del 149 - Studies in Logic and the Foundations of Mathematics

Lectures on the Curry-Howard Isomorphism

AvMorten Heine S�rensen,Pawel Urzyczyn,Morten Heine Sørensen,Denmark) Sørensen, Morten Heine, M.Sc, Ph.D (University of Copenhagen,Poland) Urzyczyn, Pawel (Warsaw University,Pawel, Urzyczyn,H Sorensen, M

Inbunden, Engelska, 2006

1 919 kr

Skickas inom 7-10 vardagar