LANGAGES LOGIQUES (LOGIQUE MATHÉMATIQUE)
-
BTLOGIQUE MATHÉMATIQUE
-
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)
-
NTSÉMANTIQUE DE LANGAGES LOGIQUES (LOGIQUE MATHÉMATIQUE)
-
NTSYNTAXE DE LANGAGES LOGIQUES (LOGIQUE MATHÉMATIQUE)
-
NTTHÉORÈMES + NON-THÉORÈMES (LOGIQUE MATHÉMATIQUE)
-
RTPROGRAMMATION DÉCLARATIVE + PROGRAMMATION LOGIQUE (MÉTHODES DE PROGRAMMATION)