LINEAR LOGIC (MATHEMATICAL LOGIC)
-
BTPREDICATE LOGIC (MATHEMATICAL LOGIC)
-
UDC510.635,5
-
Descriptor GERLINEARE LOGIK (MATHEMATISCHE LOGIK)
-
Descriptor ENGLINEAR LOGIC (MATHEMATICAL LOGIC)
-
Descriptor FRELOGIQUE LINÉAIRE (LOGIQUE MATHÉMATIQUE)
-
Variant GERLOGIK/LINEARE LOGIK (MATHEMATISCHE LOGIK)
-
Variant ENGLOGIC/LINEAR LOGIC (MATHEMATICAL LOGIC)
-
Variant FRELINÉAIRE/LOGIQUE LINÉAIRE (LOGIQUE MATHÉMATIQUE)