LEADER 01236nam a2200313 i 4500
001 991003278079707536
006 m        d        
007 cr cn|||||||||
008 080616s2001    ne a    sb    000 0 eng d
020   $a9780444504234
020   $a0444504230
035   $ab13659716-39ule_inst
040   $aDip.to Matematica$beng
082 04$a511.3$222
100 1 $aTuring, Alan Mathison$053370
245 10$aMathematical logic$h[e-book] /$cedited by R.O. Gandy and C.E.M. Yates ; including prefaces by Solomon Feferman ... [et al.]
260   $aAmsterdam ;$aNew York :$bElsevier Science,$c2001
300   $axii, 293 p. :$bill. ;$c25 cm
440  0$aCollected works of A. M. Turing
504   $aIncludes bibliographical references (p. 281-287)
650  0$aLogic, Symbolic and mathematical
700 1 $aGandy, R. O.$q(Robin O.)
700 1 $aYates, C. E. M.
856 40$3ScienceDirect$uhttp://www.sciencedirect.com/science/book/9780444504234$zAn electronic book accessible through the World Wide Web; click for information
907   $a.b13659716$b03-03-22$c29-01-08
912   $a991003278079707536
996   $aMathematical logic$9748371
997   $aUNISALENTO
998   $ale013$b29-01-08$cm$d@  $e-$feng$gne $h0$i0