DIRECTORIO DE TAREAS: Halo... A Teorias logicas, decidibilidad...