Tornar als detalls de l'article Una Fusió dels programes recursivista i formalista finitari: La noció de formalisme recursiu com a substituta del càlcul de predicats Baixa Descarrega el PDF