PanLinx
čeština
ces-000
konečně hodnotová logika
English
eng-000
finite valued logic
PanLex