01087nam a2200301 i 4500991001839319707536121008s2012 riua b 001 0 eng d9780821873922b14078958-39ule_instDip.to Matematica e Fisicaeng511.35223AMS 03DAMS 68QLC QA9.6.W43Weber, Rebecca477524Computability theory /Rebecca WeberProvidence, R. I. :American Mathematical Society,c2012vii, 203 p. :ill. ;22 cmStudent mathematical library,1520-9121 ;62Includes bibliographical references (p. 193-197) and indexRecursion theoryComputable functions.b1407895813-11-1208-10-12991001839319707536LE013 03D WEB11 (2012)12013000218076le013pE37.00-l- 02020.i1545727812-11-12Computability theory240436UNISALENTOle01308-10-12ma -engriu00