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