TY - BOOK AU - Jones,Neil D. TI - Computabilbity theory: an introduction U1 - 511.3 PY - 1973/// CY - New York PB - Acedemic Press KW - FUNCIONES RECURSIVAS KW - MAQUINAS TURING ER -