Da Ré, B. (1). El modelo estándar de la aritmética: recursividad y lógica de primer orden. Cuadernos De filosofía, (62), 55-64. https://doi.org/10.34096/cf.n62.3012