PanLinx
русский
rus-000
теория доказательств
普通话
cmn-000
元数学
普通话
cmn-000
证明论
國語
cmn-001
元數學
國語
cmn-001
證明論
Hànyǔ
cmn-003
yuánshùxué
Hànyǔ
cmn-003
zhèngmínglún
English
eng-000
proof theory
PanLex
