SłownikiForumKontakt

   Angielski +
Google | Forvo | +

deduction theorem

techn. 演绎定理; 归约定理