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