LEADER 01344nam a2200337 i 4500
001 991001340849707536
005 20020507191706.0
008 001106s1999    uk            ||| | eng  
020   $a0521635497
035   $ab1083400x-39ule_inst
035   $aLE01310791$9ExL
040   $aDip.to Matematica$beng
082 0 $a511.3
084   $aAMS 03-06
111 2 $aLogic colloquium <1997 ; Leeds, England>$0350816
245 10$aSets and proofs :$binvited papers from Logic Colloquium '97, European meeting of the Association for Symbolic Logic, Leeds, July 1997 /$cedited by S. Barry Cooper, John K. Truss
260   $aCambridge :$bCambridge University Press,$c1999
300   $aix, 436 p. :$bill. ;$c23 cm
490 0 $aLondon Mathematical Society lecture note series,$x0076-0552 ;$v258
500   $aIncludes bibliographical references
650  0$aProof theory$xCongresses
650  0$aSet theory$xCongresses
700 1 $aCooper, S. Barry
700 1 $aTruss, J. K.
710 2 $aAssociation for Symbolic Logic
907   $a.b1083400x$b23-02-17$c28-06-02
912   $a991001340849707536
945   $aLE013 03-XX COO12 (1999)$g1$i2013000122892$lle013$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i10943274$z28-06-02
996   $aSETS and proofs$9376116
997   $aUNISALENTO
998   $ale013$b01-01-00$cm$da  $e-$feng$guk $h0$i1