PanLinx
English
eng-000
proper propositional calculus
PanLex
