PanLinx
English
eng-000
second-order logic
普通话
cmn-000
二阶逻辑
PanLex
