PanLinx
English
eng-000
quantified theory
русский
rus-000
кванторная теория
PanLex