LEADER 01086nam0-22003491i-450-
001 990001359470403321
010   $a0-521-55961-8
035   $a000135947
035   $aFED01000135947
035   $a(Aleph)000135947FED01
035   $a000135947
100   $a20000920d1995----km-y0itay50------ba
101 0 $aeng
200 1 $aAdvances in linear logic$eLinear Logic Workshop, Cornell University, Ithaca, New York$eUSA, June 14-18, 1993$fedited by Jean-Yves Girard, Yves Lafont, Laurent Regnier
210   $aCambridge$cCambridge University Press$dc1995
215   $avi, 389 p.$cill.$d23 cm
225 1 $aLondon Mathematical Society lecture note series$v222
610 0 $aLogica lineare$aCongressi
676   $a511.3
702  1$aGirard,$bJean-Yves
702  1$aLafont,$bYves
702  1$aRegnier,$bLaurent
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001359470403321
952   $aC-9-(222$b14517$fMA1
959   $aMA1
962   $a03-06
962   $a03F50
996   $aAdvances in linear logic$9375272
997   $aUNINA
DB    $aING01