PanLinx
普通话
cmn-000
谓词元逻辑
English
eng-000
metalogic of predicates
PanLex
