Tomàs, Francesc. “Una Fusió Dels Programes Recursivista I Formalista Finitari: La Noció De Formalisme Recursiu Com a Substituta Del càlcul De Predicats”. Butlletí de la Societat Catalana de Matemàtiques 2 (June 6, 2005): 7–36. Accessed November 18, 2025. https://revistes.iec.cat/index.php/BSCM/article/view/22022.001.