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