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