PanLinx
русский
rus-000
логическое исчисление
English
eng-000
logical calculus
PanLex
