LEADER 01435nam a2200361 i 4500
001 991000647729707536
005 20020507171732.0
008 001106s1995    uk            ||| | eng  
020   $a0521559618
035   $ab10737728-39ule_inst
035   $aLE01300133$9ExL
040   $aDip.to Matematica$beng
082 0 $a511.3
084   $aAMS 03-06
084   $aAMS 68-06
084   $aAMS 68N15
084   $aQA9.A1L56
245 00$aAdvances in linear logic /$cedited by Jean-Yves Girard, Yves Lafont, Laurent Regnier
260   $aCambridge ; New York :$bCambridge University Press,$c1995
300   $avi, 389 p. :$bill. ;$c23 cm
490 0 $aLondon Mathematical Society lecture note series,$x0076-0552 ;$v222
500   $aBased on the Linear Logic Workshop held June 14-18, 1993, at the Mathematical Sciences Institute, Cornell University
650  0$aSymbolic and mathematical logic$xCongresses
700 1 $aGirard, Jean-Yves
700 1 $aLafont, Yves
700 1 $aRegnier, Laurent
711 2 $aLinear logic workshop $d<1993 ; $cMathematical Sciences Institute, Cornell University>
907   $a.b10737728$b23-02-17$c28-06-02
912   $a991000647729707536
945   $aLE013 68-XX GIR11 (1995)$g1$i2013000122830$lle013$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i10828126$z28-06-02
996   $aAdvances in linear logic$9375272
997   $aUNISALENTO
998   $ale013$b01-01-00$cm$da  $e-$feng$guk $h0$i1