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