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