TABLEAUS (MATHEMATISCHE LOGIK)
-
BTVERVOLLSTÄNDIGUNG (MATHEMATISCHE LOGIK)
-
UDC510.662,41
-
Descriptor GERTABLEAUS (MATHEMATISCHE LOGIK)
-
Descriptor ENGTABLEAUX (MATHEMATICAL LOGIC)
-
Descriptor FRETABLEAUX (LOGIQUE MATHÉMATIQUE)