page d'accueil
sommaire
ensembles non-bien-fondés
Liste des unités de recherche et des chercheurs ayant déclarés ce mot clé.
unités de recherche
Logique mathématique [Mathematical logic] (LOGMATH)
chercheurs
Olivier ESSER
Roland HINNION
Thierry LIBERT
disciplines associées
Informatique mathématique
Logique mathématique
Théorie des ensembles et catégories