Problemas de decidibilidad en torno a estructuras con adición y la relación de divisibilidad

Ficheros en el ítem

Este ítem aparece en la(s) siguiente(s) colección(es)