PanLinx
tiếng Việt
vie-000
lôgic mệnh đề
français
fra-000
proposition
PanLex
