PanLinx
普通话
cmn-000
高阶逻辑
國語
cmn-001
高階邏輯
Hànyǔ
cmn-003
gao1 jie1 luo2 ji5
Hànyǔ
cmn-003
gāo jiē luó jí
Deutsch
deu-000
Logik höherer Stufe
English
eng-000
higher-order logic
ئۇيغۇرچە
uig-000
يۇقىرى تەرتىپلىك لوگىكا
Uyghurche
uig-001
yuqiri tertiplik logika
PanLex