希尔伯特计划

规范用词希尔伯特计划

英文翻译Hilbert program

所属学科数学 > 数理逻辑数学基础 > 证明论

名词审定数学名词审定委员会

见载刊物数学名词》 科学出版社

公布时间1993年

证明论 的上级学科
希尔伯特计划 相关科技名词
学习应用类查询