Tomàs F. Sobre el programa de Hilbert i l’aritmètica formalment recursiva. Butll. Soc. Catalana de Mat. [Internet]. 2005 Jun. 6 [cited 2024 Jun. 30];4:21-32. Available from: https://revistes.iec.cat/index.php/BSCM/article/view/22032.001