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