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