Da Ré, B. El Modelo estándar De La aritmética: Recursividad Y lógica De Primer Orden. cdf 1, 55-64.