PanLinx
English
eng-000
logic automorphism
русский
rus-000
логический автоморфизм
PanLex