LEADER 01277nam0-22003851i-450-
001 990001360800403321
010   $a0-521-63549-7
035   $a000136080
035   $aFED01000136080
035   $a(Aleph)000136080FED01
035   $a000136080
100   $a20000920d1999----km-y0itay50------ba
101 0 $aeng
200 1 $aMODELS and computabilty$einvited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997$fedited by S. Barry Cooper, John K. Truss
210   $aCambridge$cCambridge University Press$dc1999
215   $aix, 419 p.$d23 cm
225 1 $aLondon Mathematical Society lecture note series$v259
610 0 $aLogica matematica$aCongressi
610 0 $aTeoria dei modelli$aCongressi
610 0 $aComputabilita$aLogica matematica - congressi
676   $a511.3
702  1$aAssociation for symbolic logic
702  1$aCooper,$bS. Barry
702  1$aTruss,$bJohn K.
712 11$aLogic colloquium$f<1997 ;$eLeeds, England>
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001360800403321
952   $aC-9-(259$b17071$fMA1
959   $aMA1
962   $a03-06
962   $a03CXX
996   $aMODELS and computabilty$9375248
997   $aUNINA
DB    $aING01