B. Da Ré, «El modelo estándar de la aritmética: recursividad y lógica de primer orden», cdf, n.º 62, pp. 55-64, 1.