СловникиФорумКонтакти

   Англійська +
Google | Forvo | +

deduction theorem

тех. 演绎定理; 归约定理