Identifiant
Mot de passe
Mot de passe oublié
Historique des recherches
+
-A +A
Trier: Titre Editeur Auteurs Collection Le plus récent P Q
MathOuvrage
logique mathématique
... Lire [+]
théorie des modèles ; élimination des quantificateurs ; stabilité ; théorème des zéros de Hilbert ; théorème de Chevalley ; théorie algébrique des champs
logique ; modèle ; type ; structure ; géométrie