THÉORIE DES MODÈLES (LOGIQUE MATHÉMATIQUE)
-
BTLOGIQUE MATHÉMATIQUE
-
UDC510.67
-
Descriptor GERMODELLTHEORIE (MATHEMATISCHE LOGIK)
-
Descriptor ENGMODEL THEORY (MATHEMATICAL LOGIC)
-
Descriptor FRETHÉORIE DES MODÈLES (LOGIQUE MATHÉMATIQUE)
-
Variant GERTHEORIE DER MODELLE (MATHEMATISCHE LOGIK)
-
Variant ENGTHEORY OF MODELS (MATHEMATICAL LOGIC)
-
Variant FREMODÈLES/THÉORIE DES MODÈLES (LOGIQUE MATHÉMATIQUE)
-
NTCLAUSES DE HORN (LOGIQUE MATHÉMATIQUE)
-
NTTHÉORIE DE LA SIMPLICITÉ (LOGIQUE MATHÉMATIQUE)