PanLinx
English
eng-000
implicational calculus
русский
rus-000
импликативное исчисление
PanLex