PanLinx
普通话
cmn-000
二阶逻辑
Hànyǔ
cmn-003
èr jiē luó jí
English
eng-000
second-order logic
ئۇيغۇرچە
uig-000
ئىككىنچى تەرتىپلىك لوگىكا
Uyghurche
uig-001
ikkinchi tertiplik logika
PanLex
