Volver a los detalles del artículo
El modelo estándar de la aritmética: recursividad y lógica de primer orden
Descargar
Descargar PDF