“Antonelli, K.M.M.”的概念、定义、习题解题方法及翻译-数学辞典

数学辞典收录了72750条数学词条，基本涵盖了常用数学知识及数学英语单词词组的翻译及用法，是数学学习的有利工具。

单词	Antonelli, K.M.M.
释义	Antonelli, K.M.M. 安托内利（1921—　）
随便看	introduction of the implication introduction of the negation introduction rule intuition intuitional intuitionism intuitionistic intuitionistic analysis intuitionistic arithmetic intuitionistic arithmetic calculus intuitionistic axiom of choice intuitionistic calculus intuitionistic logic intuitionistic mathematics intuitionistic predicate calculus intuitionistic predicate logic intuitionistic propositional calculus intuitionistic quantificational logic intuitionistic semantics intuitionistic theory intuitionist logic intuitive intuitive geometry intuitive logic intuitive set theory