LEADER 01295nam0-22003971i-450-
001 990001348810403321
005 20070201141836.0
010   $a0-521-63549-7
035   $a000134881
035   $aFED01000134881
035   $a(Aleph)000134881FED01
035   $a000134881
100   $a20001205d1999----km-y0itay50------ba
101 0 $aeng
200 1 $aSETS and proofs$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, 436 p.$d23 cm
225 1 $aLondon Mathematical Society lecture note series$v258
610 0 $aLogica matematica$aCongressi
610 0 $aTeoria degli insiemi$aCongressi
610 0 $aTeoria della dimostrazione$aCongressi
676   $a511.322
702  1$aCooper,$bS. Barry
702  1$aTruss,$bJohn K.
710 12$aLogic colloquium$f<1997 ;$eLeeds, England>$0350816
712 02$aAssociation for symbolic logic
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001348810403321
952   $aC-9-(258$b17070$fMA1
959   $aMA1
962   $a03-06
962   $a03EXX
962   $a03FXX
996   $aSETS and proofs$9376116
997   $aUNINA