TABLEAUX (LOGIQUE MATHÉMATIQUE)
-
BTRÉALISATION (LOGIQUE MATHÉMATIQUE)
-
UDC510.662,41
-
Descriptor GERTABLEAUS (MATHEMATISCHE LOGIK)
-
Descriptor ENGTABLEAUX (MATHEMATICAL LOGIC)
-
Descriptor FRETABLEAUX (LOGIQUE MATHÉMATIQUE)