DictionaryForumContacts

   English +
Google | Forvo | +

deduction theorem

tech. 演绎定理; 归约定理