Da Ré, B. “El Modelo estándar De La aritmética: Recursividad Y lógica De Primer Orden”. Cuadernos De filosofía, no. 62, 1, pp. 55-64, doi:10.34096/cf.n62.3012.