PanLinx
English
eng-000
equivalence of propositions
русский
rus-000
эквивалентность высказываний
PanLex