Una Fusió dels programes recursivista i formalista finitari: la noció de formalisme recursiu com a substituta del càlcul de predicats

• Autores: Francesc Tomàs
• Localización: Butlletí de la Societat Catalana de Matemàtiques, ISSN 0214-316X, Nº. 2, 1988, págs. 7-36
• Idioma: catalán
• Texto completo no disponible (Saber más ...)