2019. Demostración de teoremas de números naturales en el sistema axiomático de Giuseppe Peano. Horizonte de la Ciencia. 9, 16 (Jan. 2019), 42–61.