VERSTÄRKENDE LOGIK (MATHEMATISCHE LOGIK)
-
BTKLASSISCHE LOGISCHE SYSTEME (MATHEMATISCHE LOGIK)
-
UDC510.63,2
-
Descriptor GERVERSTÄRKENDE LOGIK (MATHEMATISCHE LOGIK)
-
Descriptor ENGINTENSIONAL LOGIC (MATHEMATICAL LOGIC)
-
Descriptor FRELOGIQUE RENFORCÉE (LOGIQUE MATHÉMATIQUE)
-
Variant GERLOGIK/VERSTÄRKENDE LOGIK (MATHEMATISCHE LOGIK)
-
Variant ENGLOGIC/INTENSIONAL LOGIC (MATHEMATICAL LOGIC)
-
Variant FRERENFORCÉ/LOGIQUE RENFORCÉE (LOGIQUE MATHÉMATIQUE)