modern mathematical logic现代: modern times; the contempora ...数理逻辑: mathematical logic公式 (数理逻辑): formula (mathematical logic)句子 (数理逻辑): sentence (mathematical logic)量化 (数理逻辑): quantification下载手机词典可随时随地查词查翻译
