PanLinx
русский
rus-000
монадическая логика
English
eng-000
monadic logic
PanLex
