LEADER 01535nam a2200361 i 4500
001 991001152079707536
005 20020507184213.0
008 000606s1999    uk            ||| | eng  
020   $a0521635500
035   $ab10808012-39ule_inst
035   $aLE01307850$9ExL
040   $aDip.to Matematica$beng
082 0 $a511.3
084   $aAMS 03-06
084   $aAMS 03C
111 2 $aLogic colloquium <1997 ; Leeds, England>$0350816
245 10$aModels and computability :$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, 419 p. :$bill. ;$c23 cm
490 0 $aLondon Mathematical Society lecture note series,$x0076-0552 ;$v259
500   $aIncludes bibliographical references
650  0$aComputable functions$xCongresses
650  0$aSymbolic and mathematical logic
700 1 $aCooper, S. Barry
700 1 $aTruss, J. K.
710 2 $aAssociation for Symbolic Logic
907   $a.b10808012$b23-02-17$c28-06-02
912   $a991001152079707536
945   $aLE013 03-XX COO11 C.1 (1999)$g1$i2013000121369$lle013$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i10913051$z28-06-02
945   $aLE013 03-XX COO11 C.2 (1999)$g2$i2013000122885$lle013$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i10913063$z28-06-02
996   $aModels and computability$9925632
997   $aUNISALENTO
998   $ale013$b01-01-00$cm$da  $e-$feng$guk $h0$i2