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