Tomàs F. Una Fusió dels programes recursivista i formalista finitari: La noció de formalisme recursiu com a substituta del càlcul de predicats. Butll. Soc. Catalana de Mat. [Internet]. 2005 Jun. 6 [cited 2024 May 9];2:7-36. Available from: https://revistes.iec.cat/index.php/BSCM/article/view/22022.001