LEADER 01094nam a2200289 i 4500
001 991000841259707536
008 050217s2004    enka          001 0 eng d
020   $a0521608570
035   $ab13281185-39ule_inst
040   $aDip.to Matematica$beng
082 0 $a511.36$222
084   $aAMS 03B70
084   $aLC QA9.54.L56
245 00$aLinear logic in computer science /$cedited by Thomas Ehrhard ... [et al.]
260   $aCambridge ;$aNew York :$bCambridge University Press,$c2004
300   $ax, 381 p. :$bill. ;$c23 cm
440  0$aLondon Mathematical Society lecture note series,$x0076-0552 ;$v316
504   $aIncludes bibliographical references
650  0$aProof theory
650  0$aComputer science$xMathematics
700 1 $aEhrhard, Thomas
907   $a.b13281185$b10-11-06$c17-02-05
912   $a991000841259707536
945   $aLE013 03B EHR11 (2004)$g1$i2013000288208$lle013$op$pE57.75$q-$rl$s-  $t0$u1$v0$w1$x0$y.i14038754$z25-03-05
996   $aLinear logic in computer science$9755149
997   $aUNISALENTO
998   $ale013$b17-02-05$cm$da  $e-$feng$genk$h0$i0