THEOREME + NICHTTHEOREME (MATHEMATISCHE LOGIK)
-
BTLOGISCHE SPRACHEN (MATHEMATISCHE LOGIK)
-
UDC510.62,1
-
Descriptor GERTHEOREME + NICHTTHEOREME (MATHEMATISCHE LOGIK)
-
Descriptor ENGTHEOREMS + NON-THEOREMS (MATHEMATICAL LOGIC)
-
Descriptor FRETHÉORÈMES + NON-THÉORÈMES (LOGIQUE MATHÉMATIQUE)
-
Variant GERNICHTTHEOREME (MATHEMATISCHE LOGIK)
-
Variant GERNICHT-THEOREME (MATHEMATISCHE LOGIK)
-
Variant ENGNON-THEOREMS (MATHEMATICAL LOGIC)
-
Variant FRENON-THÉORÈMES (LOGIQUE MATHÉMATIQUE)