



Una Fusió dels programes recursivista i formalista finitari: la noció de formalisme recursiu com a substituta del càlcul de predicats
págs. 7-36
págs. 37-56
págs. 57-65
págs. 66-76
pág. 77
págs. 78-79




© 2001-2013 Fundación Dialnet · Todos los derechos reservados