PanLinx
беларуская
bel-000
сімвалічная логіка
русский
rus-000
символическая логика
PanLex