00815nam a2200217Ia 4500008004100000020001500041040001800056041000800074100003100082245008300113250005400196260007600250300003700326504005300363650002600416650004000442650001800482650002100500700004500521700003100566130821s2000    xxua   gr           eng    a0534546447  aCo-BoUCMbspa00aeng1 aEpstein, Richard L.d1947-00aComputability  computable functions, logic, and the foundations of mathematics  a3rd ed.bRichard L. Epstein, Walter A. Carnielli.  aBelmont (California, Estados Unidos)bWadsworth/Thomson Learningcc2000  a299, 38 páginasbilustraciones  aIncluye referencias bibliográficas e índice.04aFunciones calculables04aLógica simbólica y matemática04aMatemáticas04aTeorema de godel1 aCarnielli, Walter A.q(Walter Alexandre)12aEpstein, Richard L.d1947-