PanLinx
русский
rus-000
позитивно выводимая формула
English
eng-000
positively derivable formula
PanLex