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 May 9, 2024. https://revistes.iec.cat/index.php/BSCM/article/view/22022.001.