BARRIO, E. A. Lógica de Segundo Orden y el Modelo Estándar de la Aritmética. Cuadernos de filosofía, n. 62, p. 43-54, 11.