PanLinx
eesti
ekk-000
predikaatarvutus
English
eng-000
predicate calculus
PanLex
