Séminaire Logique mathématique ICJ

Rosario Mennuni "Some definable types in the wild"

Europe/Paris