PanLinx
русский
rus-000
интенсиональная логика
English
eng-000
intensional logic
PanLex