Séminaire Logique mathématique ICJ
Rosario Mennuni "Some definable types in the wild"
→
Europe/Paris