现代数理逻辑的英文

modern mathematical logic

• 现代:    modern times; the ...
• 数理逻辑:    mathematical logic
• 公式 (数理逻辑):    formula (mathemati ...

例句与用法

1. There are advantages and disadvantage in both induction and deduction , and they are intertwined
   究其实，争论是由逻辑观传统形式逻辑和现代数理逻辑的不同引起的。