La Classification Mathématique par matières 2000 Mathematics subject Classification 2000 Question : CC = 03C80 03-XX Mathematical logic and foundations 03C80 Logic with extra quantifiers and operators [See also 03B42, 03B44, 03B45, 03B48] Mot-clé : Retour à la page Classification Mathématique par Matières (version 2000)