Tomàs, F. (2005). Sobre el programa de Hilbert i l’aritmètica formalment recursiva. Butlletí De La Societat Catalana De Matemàtiques, 4, 21–32. Retrieved from https://revistes.iec.cat/index.php/BSCM/article/view/22032.001