PanLinx
English
eng-000
positive propositional calculus
PanLex
