词典论坛联络

   英语 +
Google | Forvo | +

deduction theorem

技术 演绎定理; 归约定理