PanLinx
eesti
ekk-000
lausearvutus
English
eng-000
propositional calculus
PanLex
