| Record ID | marc_loc_2016/BooksAll.2016.part32.utf8:195494332:1149 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part32.utf8:195494332:1149?format=raw |
LEADER: 01149cam a2200313 a 4500
001 2005297208
003 DLC
005 20060725223611.0
008 050323s2004 enka f b 001 0 eng
010 $a 2005297208
015 $aGBA452425$2bnb
016 7 $a012954568$2Uk
020 $a0521608570 (pbk.)
035 $a(OCoLC)ocm56655091
040 $aUKM$cUKM$dCUS$dIQU$dDLC
042 $alccopycat
050 00 $aQA9.54$b.L56 2004
082 04 $a511.3'6$222
245 00 $aLinear logic in computer science /$cedited by Thomas Ehrhard ... [et al.].
260 $aCambridge, UK ;$aNew York :$bCambridge University Press,$c2004.
300 $ax, 381 p. :$bill. ;$c23 cm.
440 0 $aLondon Mathematical Society lecture note series ;$v316
504 $aIncludes bibliographical references.
650 0 $aProof theory.
650 0 $aLogic, Symbolic and mathematical.
650 0 $aComputer science$xMathematics.
700 1 $aEhrhard, Thomas,$d1958-
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0632/2005297208-d.html
856 41 $3Table of contents only$uhttp://www.loc.gov/catdir/enhancements/fy0632/2005297208-t.html