PanLinx
普通话
cmn-000
高阶谓词演算
English
eng-000
higher-order predicate calculus
PanLex