ABCDEFGHIJKLMNOPQRSTUVWXYZ  

Francesc Tomàs

Centre de Recerca Matemàtica, Bellaterra (1988) / Instituto de Matemáticas, Universidad Nacional Autónoma de México, Mèxic

Publicacions

*	TOMÀS, F. `Una Fusió dels programes recursivista i formalista finitari: La noció de formalisme recursiu com a substituta del càlcul de predicats´. *Butlletí de la SCM*; vol. 2 (maig 1988), pp. 7-36.

*	TOMÀS, F. `Sobre el programa de Hilbert i l'aritmètica formalment recursiva´. *Butlletí de la SCM*; vol. 4 (setembre 1989), pp. 21-32.