DA RÉ, B. El modelo estándar de la aritmética: recursividad y lógica de primer orden. Cuadernos de filosofía, n. 62, p. 55-64, 11.