Interdeducible

*

Словосочетания

interdeducible formulae — дедуктивно равные формулы; взаимновыводимые формулы
interdeducible formulas — дедуктивно равные формулы
Смотрите также:  Мультитран  Wikipedia(En)  Academic.ru  Reverso 
•