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