17:00 à 18:00
Conférencier invité

Axiomatization, Formalization and Completeness (1)

Michael Detlefsen
Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot
En libre accès, dans la limite des places disponibles
-