PanLinx
普通话
cmn-000
二阶谓词演算
Hànyǔ
cmn-003
èr jiē wèi cí yǎn suàn
English
eng-000
second-order predicate calculus
ئۇيغۇرچە
uig-000
ئىككىنچى تەرتىپلىك خەۋەر ھېسابى
Uyghurche
uig-001
ikkinchi tertiplik xewer hésabi
PanLex