PanLinx
русский
rus-000
логика доказательства
English
eng-000
logic of evidence
PanLex