Da Ré, B. (1) «El modelo estándar de la aritmética: recursividad y lógica de primer orden», Cuadernos de filosofía, (62), pp. 55-64. doi: 10.34096/cf.n62.3012.