MATHEMATICAL LOGIC
-
BTFUNDAMENTAL AND GENERAL CONSIDERATIONS OF MATHEMATICS
-
UDC510.6
-
Descriptor GERMATHEMATISCHE LOGIK
-
Descriptor ENGMATHEMATICAL LOGIC
-
Descriptor FRELOGIQUE MATHÉMATIQUE
-
Variant GERLOGIKKALKÜL (MATHEMATIK)
-
Variant GERKALKÜL/LOGIKKALKÜL (MATHEMATIK)
-
Variant GERLOGIK (MATHEMATIK)
-
Variant GERFORMALE LOGIK (MATHEMATIK)
-
Variant ENGCALCULUS/LOGICAL CALCULUS (MATHEMATICS)
-
Variant ENGLOGICAL CALCULUS (MATHEMATICS)
-
Variant ENGLOGIC (MATHEMATICS)
-
Variant ENGFORMAL LOGIC (MATHEMATICS)
-
Variant FRECALCUL LOGIQUE (MATHÉMATIQUES)
-
Variant FRELOGIQUE FORMELLE (MATHÉMATIQUES)
-
Variant FRELOGIQUE (MATHÉMATIQUES)
-
NTDECISION PROBLEMS AND INFERENCE SEARCH (MATHEMATICAL LOGIC)
-
NTCLASSICAL LOGICAL SYSTEMS (MATHEMATICAL LOGIC)
-
NTLOGICO-MATHEMATICAL THEORIES (MATHEMATICAL LOGIC)
-
NTLOGICAL LANGUAGES (MATHEMATICAL LOGIC)
-
NTMODEL THEORY (MATHEMATICAL LOGIC)
-
NTNONCLASSICAL LOGICAL SYSTEMS (MATHEMATICAL LOGIC)
-
NTSTABILITY THEORY (MATHEMATICAL LOGIC)
-
RTGENERAL THEORY OF CALCULI (MATHEMATICS)
-
RTLOGIC (PHILOSOPHY)