PanLinx
English
eng-000
equivalence of axiom sets
русский
rus-000
эквивалентность множеств аксиом
PanLex