Englisch ⇄ Litauisch Russisch Ukrainisch +

interdeducible formulas Betonungen
IT	дедуктивно равные формулы
Makarow.	взаимновыводимые формулы
interdeducible formulae
Math.	взаимновыводимые формулы; дедуктивно равные формулы