MODELLTHEORIE (MATHEMATISCHE LOGIK)
-
BTMATHEMATISCHE LOGIK
-
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)
-
NTHORNKLAUSELN (MATHEMATISCHE LOGIK)
-
NTTHEORIE DER EINFACHHEIT (MATHEMATISCHE LOGIK)