PRÄDIKATENLOGIK (MATHEMATISCHE LOGIK)
-
BTKLASSISCHE LOGISCHE SYSTEME (MATHEMATISCHE LOGIK)
-
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)
-
NTAUSSAGENLOGIK (MATHEMATISCHE LOGIK)
-
NTDENOTATIONELLE SEMANTIK (MATHEMATISCHE LOGIK)
-
NTGÖDELSCHE SÄTZE (MATHEMATISCHE LOGIK)
-
NTHOARESCHE LOGIK (MATHEMATISCHE LOGIK)
-
NTLINEARE LOGIK (MATHEMATISCHE LOGIK)
-
NTPRÄDIKATENLOGIK HÖHERER ORDNUNG (MATHEMATISCHE LOGIK)