Da Ré, Bruno

• Cuadernos de filosofía Núm. 62 (2014) - Notas y discusiones
  El modelo estándar de la aritmética: recursividad y lógica de primer orden
  Detalles  PDF