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

Autores/as

  • Francesc Tomàs

Publicado

2005-06-06

Cómo citar

Tomàs, F. (2005). Una Fusió dels programes recursivista i formalista finitari: La noció de formalisme recursiu com a substituta del càlcul de predicats. Butlletí De La Societat Catalana De Matemàtiques, 2, 7–36. Recuperado a partir de https://revistes.iec.cat/index.php/BSCM/article/view/22022.001

Número

Sección

Artículos