LEADER 01253nam a2200337 i 4500
001 991001291209707536
005 20020507190738.0
008 951026s1980    uk            ||| | eng  
020   $a052123543X
035   $ab10827110-39ule_inst
035   $aLE01310017$9ExL
040   $aDip.to Matematica$beng
082 0 $a511.30
084   $aAMS 03-06
084   $aAMS 03-XX
084   $aAMS 03D
084   $aQA9.615
100 1 $aDrake, F. R.$0536654
245 10$aRecursion theory :$bits generalisations and applications :$bproceedings of Logic Colloquium '79, Leeds, August 1979 /$cedited by F. R. Drake, S. S. Wainer
260   $aCambridge :$bCambridge University Press,$c1980
300   $a319 p. ;$c23 cm
490 0 $aLondon Mathematical Society lecture note series,$x0076-0552 ;$v45
650  0$aMathematical logic and foundations$xCongresses
650  0$aRecursion theory$xCongresses
700 1 $aWainer, S. S.
907   $a.b10827110$b23-02-17$c28-06-02
912   $a991001291209707536
945   $aLE013 03-XX DRA11 (1980)$g1$i2013000038513$lle013$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i10935083$z28-06-02
996   $aRecursion theory$9924736
997   $aUNISALENTO
998   $ale013$b01-01-95$cm$da  $e-$feng$guk $h0$i1