LOGIQUE DES PRÉDICATS (LOGIQUE MATHÉMATIQUE)
-
BTSYSTÈMES LOGIQUES CLASSIQUES (LOGIQUE MATHÉMATIQUE)
-
UDC510.635
-
Descriptor GERPRÄDIKATENLOGIK (MATHEMATISCHE LOGIK)
-
Descriptor ENGPREDICATE LOGIC (MATHEMATICAL LOGIC)
-
Descriptor FRELOGIQUE DES PRÉDICATS (LOGIQUE MATHÉMATIQUE)
-
Variant GERLOGIK/PRÄDIKATENLOGIK (MATHEMATISCHE LOGIK)
-
Variant GERPRÄDIKATENKALKÜL (MATHEMATISCHE LOGIK)
-
Variant GERKALKÜL/PRÄDIKATENKALKÜL (MATHEMATISCHE LOGIK)
-
Variant GERLOGIK ERSTER STUFE (MATHEMATISCHE LOGIK)
-
Variant ENGLOGIC/PREDICATE LOGIC (MATHEMATICAL LOGIC)
-
Variant ENGPREDICATE CALCULUS (MATHEMATICAL LOGIC)
-
Variant ENGCALCULUS/PREDICATE CALCULUS (MATHEMATICAL LOGIC)
-
Variant ENGFIRST ORDER LOGIC (MATHEMATICAL LOGIC)
-
Variant ENGLOGIC/FIRST ORDER LOGIC (MATHEMATICAL LOGIC)
-
Variant ENGLOGIQUE DE PREMIER DEGRÉ (LOGIQUE MATHÉMATIQUE)
-
Variant FREPRÉDICATS/LOGIQUE DES PRÉDICATS (LOGIQUE MATHÉMATIQUE)
-
Variant FRECALCUL DES PRÉDICATS (LOGIQUE MATHÉMATIQUE)
-
Variant FREPRÉDICATS/CALCUL DES PRÉDICATS (LOGIQUE MATHÉMATIQUE)
-
NTLOGIQUE PROPOSITIONNELLE (LOGIQUE MATHÉMATIQUE)
-
NTSÉMANTIQUE DÉNOTATIONNELLE (LOGIQUE MATHÉMATIQUE)
-
NTTHÉORÈMES DE GÖDEL (LOGIQUE MATHÉMATIQUE)
-
NTLOGIQUE DE HOARE (LOGIQUE MATHÉMATIQUE)
-
NTLOGIQUE LINÉAIRE (LOGIQUE MATHÉMATIQUE)
-
NTLOGIQUE DES PRÉDICATS D'ORDRE SUPÉRIEUR (LOGIQUE MATHÉMATIQUE)