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 June 30, 2024. https://revistes.iec.cat/index.php/BSCM/article/view/22032.001.