PanLinx
English
eng-000
single-sorted logic
русский
rus-000
односортная логика
PanLex
