MÜ-KALKÜL (MATHEMATISCHE LOGIK)
-
BTMODALE LOGIK (MATHEMATISCHE LOGIK)
-
UDC510.643,0
-
Descriptor GERMÜ-KALKÜL (MATHEMATISCHE LOGIK)
-
Descriptor ENGMU-CALCULUS (MATHEMATICAL LOGIC)
-
Descriptor FRECALCUL MU (LOGIQUE MATHÉMATIQUE)
-
Variant GERKALKÜL/MÜ-KALKÜL (MATHEMATISCHE LOGIK)
-
Variant ENGCALCULUS/MU-CALCULUS (MATHEMATICAL LOGIC)
-
Variant FREMU/CALCUL MU (LOGIQUE MATHÉMATIQUE)