TOMÀS, F. 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, [S. l.], v. 2, p. 7–36, 2005. Disponível em: https://revistes.iec.cat/index.php/BSCM/article/view/22022.001. Acesso em: 9 may. 2024.