PanLinx
русский
rus-000
высказываний исчисление
беларуская
bel-000
выказванняў злічэнне
PanLex