Return to Article Details Lógica de Segundo Orden y el Modelo Estándar de la Aritmética Download Download PDF