5:00 - 6:00pm
Guest lecturer

Axiomatization, Formalization and Completeness (1)

Michael Detlefsen
Salle 5, Site Marcelin Berthelot
Open to all, subject to availability
-