TY - BOOK AU - Jones,Neil D. TI - Computability theory: An introduction T2 - ACM monograph series AV - QA248.5 J64 PY - 1973/// CY - New York PB - Academic KW - Máquinas de Turing KW - Funciones recursivas ER -