PanLinx
國語
cmn-001
形式邏輯
普通话
cmn-000
形式逻辑
Hànyǔ
cmn-003
xing2 shi4 luo2 ji5
Deutsch
deu-000
Aussagenlogik
PanLex
