| Record ID | marc_loc_2016/BooksAll.2016.part33.utf8:149905044:1029 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part33.utf8:149905044:1029?format=raw |
LEADER: 01029cam a2200289 a 4500
001 2006048390
003 DLC
005 20140620075526.0
008 060607s2007 ne a b 001 0 eng
010 $a 2006048390
020 $a9780444520777 (hbk.)
020 $a0444520775 (hbk.)
040 $aDLC$cDLC$dDLC
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 $aAmsterdam ;$aBoston :$bElsevier,$c2006.
300 $axiv, 442 p. :$billustrations ;$c25 cm.
490 0 $aStudies in logic and the foundations of mathematics,$x0049-237X ;$vvol. 149
504 $aIncludes bibliographical references (p. 403-430) 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