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
Si teniu problemes per visualitzar el fitxer de l'article des del navegador (algunes versions dels visors dels navegadors no són compatibles amb les versions més antigues de fitxers PDF), useu l'opció "Descarrega el PDF" per desar-lo i llegir-lo directament des del vostre ordinador.