MODEL THEORY (MATHEMATICAL LOGIC)
-
BTMATHEMATICAL LOGIC
-
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)
-
NTHORN CLAUSES (MATHEMATICAL LOGIC)
-
NTSIMPLICITY THEORY (MATHEMATICAL LOGIC)