PanLinx
English
eng-000
general recursively true formula
русский
rus-000
общерекурсивно истинная формула
PanLex