PanLinx
português
por-000
fbfs
English
eng-000
well formed formulas
English
eng-000
wff
PanLex
