Problemas de decisión y recursividad en sistemas lógicos formales = Decision problems and recursiveness in formal logic systems - Martínez, Iveth