PanLinx
English
eng-000
constructive propositional calculus
PanLex