Lectures on the Curry-Howard Isomorphism - Studies in Logic and the Foundations of Mathematics - Sorensen, Morten Heine, M.Sc, Ph.D (University of Copenhagen, Denmark) - Bøger - Elsevier Science & Technology - 9780444520777 - 4. juli 2006
Ved uoverensstemmelse mellem cover og titel gælder titel

Lectures on the Curry-Howard Isomorphism - Studies in Logic and the Foundations of Mathematics 149 edition

Sorensen, Morten Heine, M.Sc, Ph.D (University of Copenhagen, Denmark)

Pris
元 1.635

Bestilles fra fjernlager

Forventes klar til forsendelse 22. - 29. aug.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
Eller

Lectures on the Curry-Howard Isomorphism - Studies in Logic and the Foundations of Mathematics 149 edition

The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as in type theory. The isomorphism has many aspects, even at syntactic level. This book offers an introduction to the proof theory and related aspects of type theory relevant for the isomorphism.

456 pages, illustrations

Medie Bøger     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet 4. juli 2006
ISBN13 9780444520777
Forlag Elsevier Science & Technology
Antal sider 456
Mål 163 × 240 × 30 mm   ·   866 g

Se alt med Sorensen, Morten Heine, M.Sc, Ph.D (University of Copenhagen, Denmark) ( f.eks. Hardcover bog )