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