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

Axiomatization, Formalization and Completeness (2)

Michael Detlefsen