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