Martínez, I.; Piza, E. Decision Problems and Recursiveness in Formal Logic Systems. Rev. mat. (En línea) 2017, 23, 11-39.