LEADER 01050nam0-22003731i-450-
001 990008032210403321
005 20111004134124.0
010   $a0-521-60857-0
035   $a000803221
035   $aFED01000803221
035   $a(Aleph)000803221FED01
035   $a000803221
100   $a20050329d2004----km-y0itay50------ba
101 0 $aeng
102   $aUS
105   $aa---a---101yy
200 1 $aLinear logic in computer science$fT. Ehrhard, ... [et al.], editors
210   $aCambridge$cCambridge University Press$dc2004
215   $ax, 381 p.$d24 cm
225 1 $aLondon Mathematical Society lecture note series$v316
610 0 $aLogica matematica$aFondamenti
610 0 $aScienza del computer
676   $a511.3$v21$zita
702  1$aEhrhard,$bThomas
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990008032210403321
952   $aC-9-(316$b20726$fMA1
959   $aMA1
962   $a03-06
962   $a68-06
962   $a00B25
996   $aLinear logic in computer science$9755149
997   $aUNINA