TOMÀS, F. Sobre el programa de Hilbert i l’aritmètica formalment recursiva. Butlletí de la Societat Catalana de Matemàtiques, [S. l.], v. 4, p. 21–32, 2005. Disponível em: https://revistes.iec.cat/index.php/BSCM/article/view/22032.001. Acesso em: 25 jun. 2024.