Conferències i seminaris | Congressos | Grups de recerca | Publicacions | Persones

Activitats i publicacions del grup de recerca Lògica matemàtica

Aritmètica formalment recursiva, I ( 24/3/1987) - Francesc Tomàs Pons

Seminari F. Tomàs ( 31/3/1987) - Francesc Tomàs Pons

Seminari F. Tomàs ( 2/4/1987) - Francesc Tomàs Pons

Seminari F. Tomàs ( 9/4/1987) - Francesc Tomàs Pons

Seminari F. Tomàs ( 23/4/1987) - Francesc Tomàs Pons

Seminari F. Tomàs ( 30/4/1987) - Francesc Tomàs Pons

Seminari F. Tomàs ( 14/5/1987) - Francesc Tomàs Pons

The theory of computational complexity ( 10/6/1987) - Louise Hay

Around Hilbert problem thirteen ( 4/11/1988) - Arkadii Anatolievich Maltsev