LEADER 01408nam a2200313 i 4500
001 991003277399707536
007 cr cn|||||||||
008 080616s2006    ne a    sb    001 0 eng d
020   $a9780444520777
020   $a0444520775
035   $ab1365956x-39ule_inst
040   $aDip.to Matematica$beng
082 04$a511.326$222
100 1 $aSørensen, Morten Heine$0433380
245 10$aLectures on the Curry-Howard isomorphism$h[e-book] /$cMorten Heine Sørensen, Pawe? Urzyczyn
260   $aAmsterdam ;$aBoston :$bElsevier,$c2006
300   $axiv, 442 p. :$bill. ;$c24 cm
440  0$aStudies in logic and the foundations of mathematics,$x0049-237X ;$v149
504   $aIncludes bibliographical references (p. 403-430) and index
650  0$aCurry-Howard isomorphism
650  0$aLambda calculus
700 1 $aUrzyczyn, Pawe?$eauthor$4http://id.loc.gov/vocabulary/relators/aut$0318886
856 40$3ScienceDirect$uhttp://www.sciencedirect.com/science/publication?issn=0049237X&volume=149$zAn electronic book accessible through the World Wide Web; click for information
856 42$zPublisher description$uhttp://catdir.loc.gov/catdir/enhancements/fy0661/2006048390-d.html
907   $a.b1365956x$b03-03-22$c29-01-08
912   $a991003277399707536
996   $aLectures on the Curry-Howard isomorphism$9728350
997   $aUNISALENTO
998   $ale013$b29-01-08$cm$d@  $e-$feng$gne $h0$i0