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