LOGISCHE SPRACHEN (MATHEMATISCHE LOGIK)
-
BTMATHEMATISCHE LOGIK
-
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)
-
NTSEMANTIK LOGISCHER SPRACHEN (MATHEMATISCHE LOGIK)
-
NTSYNTAX LOGISCHER SPRACHEN (MATHEMATISCHE LOGIK)
-
NTTHEOREME + NICHTTHEOREME (MATHEMATISCHE LOGIK)
-
RTDEKLARATIVE PROGRAMMIERUNG + LOGISCHE PROGRAMMIERUNG (PROGRAMMIERMETHODEN)