Élimination des quantificateurs

Identifiant pérenne de la notice : 096211679

URI de l'entité : http://www.idref.fr/096211679/id

Notice de type Rameau

Point d'accès autorisé

Élimination des quantificateurs

Variantes de point d'accès

Élimination des quantifications

[Nom commun]

MSC 03C10

[Nom commun]

Quantificateurs, Élimination des

[Nom commun]

Quantifications, Élimination des

[Nom commun]

Termes génériques

Source

Encycl. universalis (art. : Modèles, Théorie des) - http://www.universalis-edu.com (2011-08-11)

Langenscheidts Fachwörtberbuch Mathematik / G. Eisenreich, R. Sube, 1996

Logique mathématique / J.-F. Pabion, 1976

Éléments de logique mathématique : théorie des modèles / J.-L. Krivine, G. Kreisel, 1967

Identifiants externes

Utilisation dans Rameau

Le point d'accès ne peut être employé que dans un point d'accès sujet

Le point d'accès ne peut s'employer qu'en élément initial

Informations sur la notice

Identifiant de la notice : 096211679

RCR créateur de la notice : 0004

Date de création : 26-01-2006

RCR dernier modificateur de la notice : 1999

Date de dernière modification : 22-02-2019 à 18 h 36

... Références liées : ...