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

Axiomatization, Formalization and Completeness (1)

Michael Detlefsen