Tomàs, F. (2005) “Sobre el programa de Hilbert i l’aritmètica formalment recursiva”, Butlletí de la Societat Catalana de Matemàtiques, 4, pp. 21–32. Available at: https://revistes.iec.cat/index.php/BSCM/article/view/22032.001 (Accessed: 25 June 2024).