Tomàs, Francesc. “Sobre El Programa De Hilbert I l’aritmètica Formalment Recursiva”. Butlletí de la Societat Catalana de Matemàtiques 4 (June 6, 2005): 21–32. Accessed May 15, 2025. https://revistes.iec.cat/index.php/BSCM/article/view/22032.001.