PanLinx
русский
rus-000
логика истинности
English
eng-000
logic of truth
PanLex