Da Ré B. El modelo estándar de la aritmética: recursividad y lógica de primer orden. cdf [Internet]. 1 [citado 6 de mayo de 2024];(62):55-4. Disponible en: http://revistascientificas.filo.uba.ar/index.php/CdF/article/view/3012