PanLinx
русский
rus-000
экзистенциональная логика
English
eng-000
logic of existence
PanLex
