| Record ID | marc_university_of_toronto/uoft.marc:5417988767:1002 |
| Source | University of Toronto |
| Download Link | /show-records/marc_university_of_toronto/uoft.marc:5417988767:1002?format=raw |
LEADER: 01002cam 2200277 a 4500
001 BKS-1204
005 20060718091030.0
008 060607s2006 maua b 001 0 eng
020 $a9780444520777
020 $a0444520775
039 $fsom
050 00 $aQA9.54$b.S67 2007
082 00 $a511.3/26$222
100 1 $aSørensen, Morten Heine.
245 10 $aLectures on the Curry-Howard isomorphism /$cMorten Heine Sørensen, Paweł Urzyczyn.
250 $a1st ed.
260 $aBoston, MA :$bElsevier,$c2006.
300 $axiv, 442 p. :$bill.
490 0 $aStudies in logic and the foundations of mathematics,$x0049-237X ;$vv. 149
504 $aIncludes bibliographical references and index.
650 0 $aCurry-Howard isomorphism.
650 0 $aLambda calculus.
650 0 $aProof theory.
700 1 $aUrzyczyn, Paweł.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0661/2006048390-d.html
949 $aQA9.54 .S67 2006$wLC$c1$i31761062031828$lSTACKS$mMATH$rY$sY$tBOOK$u26/1/2007