Martínez, Iveth, and Eduardo Piza. 2017. “Decision Problems and Recursiveness in Formal Logic Systems”. Revista De Matemática: Teoría Y Aplicaciones 23 (1):11-39. https://doi.org/10.15517/rmta.v23i1.22338.