TY - BOOK AU - Rogers,Hartley TI - Theory of recursive functions and effective computability SN - 0262680521 U1 - 511.3 PY - 1992/// CY - Cambridge, MA. PB - MIT Press KW - Funciones recursivas KW - Teoría de las máquinas N1 - Incluye bibliografía ER -