Conferències i seminaris | Congressos | Grups de recerca | Publicacions | Persones Persones
Francesc Tomàs Pons (Catalunya, Espanya)
Publicacions
Recursive formalisms and Arithmetic, 1987
TOMÀS, F. *Recursive formalisms and Arithmetic*. Publicacions del CRM, núm. 53 (1987)
Altres activitats (conferències, seminaris)
Investigador visitant - Univ. México - Lògica matemàtica [1/3/1987 - 29/2/1988]
Aritmètica formalment recursiva, I (24/3/1987)
Investigador visitant - Univ. México - Lògica matemàtica [1/3/1987 - 29/2/1988]
Seminari F. Tomàs (31/3/1987)
Investigador visitant - Univ. México - Lògica matemàtica [1/3/1987 - 29/2/1988]
Seminari F. Tomàs (2/4/1987)
Investigador visitant - Univ. México - Lògica matemàtica [1/3/1987 - 29/2/1988]
Seminari F. Tomàs (9/4/1987)
Investigador visitant - Univ. México - Lògica matemàtica [1/3/1987 - 29/2/1988]
Seminari F. Tomàs (23/4/1987)
Investigador visitant - Univ. México - Lògica matemàtica [1/3/1987 - 29/2/1988]
Seminari F. Tomàs (30/4/1987)
Investigador visitant - Univ. México - Lògica matemàtica [1/3/1987 - 29/2/1988]
Seminari F. Tomàs (14/5/1987)
(desconegut -data aproximada) - ? - [1/1/1993 - ]
Formalismes oberts, I (5/5/1993)
(desconegut -data aproximada) - ? - [1/1/1993 - ]
Formalismes oberts, II (12/5/1993)