E. A. Barrio, «Lógica de Segundo Orden y el Modelo Estándar de la Aritmética», cdf, n.º 62, pp. 43-54, 1.