PREDICATE LOGIC (MATHEMATICAL LOGIC)
-
BTCLASSICAL LOGICAL SYSTEMS (MATHEMATICAL LOGIC)
-
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)
-
NTPROPOSITIONAL LOGIC (MATHEMATICAL LOGIC)
-
NTDENOTATIONAL SEMANTICS (MATHEMATICAL LOGIC)
-
NTGÖDEL THEOREMS (MATHEMATICAL LOGIC)
-
NTHOARE LOGIC (MATHEMATICAL LOGIC)
-
NTLINEAR LOGIC (MATHEMATICAL LOGIC)
-
NTHIGHER ORDER PREDICATE LOGIC (MATHEMATICAL LOGIC)