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