El modelo estándar de la aritmética: recursividad y lógica de primer orden - Bruno Da Ré (Cuadernos de filosofía, 1970)