LOGICAL LANGUAGES (MATHEMATICAL LOGIC)
-
BTMATHEMATICAL LOGIC
-
UDC510.62
-
Descriptor GERLOGISCHE SPRACHEN (MATHEMATISCHE LOGIK)
-
Descriptor ENGLOGICAL LANGUAGES (MATHEMATICAL LOGIC)
-
Descriptor FRELANGAGES LOGIQUES (LOGIQUE MATHÉMATIQUE)
-
Variant GERSPRACHEN/LOGISCHE SPRACHEN (MATHEMATISCHE LOGIK)
-
Variant GERLOGISCHE OBJEKTSPRACHEN (MATHEMATISCHE LOGIK)
-
Variant ENGLOGICO-OBJECT LANGUAGES (MATHEMATICAL LOGIC)
-
Variant ENGLANGUAGES/LOGICAL LANGUAGES (MATHEMATICAL LOGIC)
-
Variant FRELANGAGES LOGICO-OBJECTIFS (LOGIQUE MATHÉMATIQUE)
-
NTSEMANTICS OF LOGICAL LANGUAGES (MATHEMATICAL LOGIC)
-
NTSYNTAX OF LOGICAL LANGUAGES (MATHEMATICAL LOGIC)
-
NTTHEOREMS + NON-THEOREMS (MATHEMATICAL LOGIC)
-
RTDECLARATIVE PROGRAMMING + LOGIC PROGRAMMING (PROGRAMMING METHODS)