PanLinx
English
eng-000
bivalent logic
русский
rus-000
двузначная логика
PanLex