“higher-order logical calculus”的概念、定义、习题解题方法及翻译-数学辞典

单词	higher-order logical calculus
释义	higher-order logical calculus 高阶逻辑演算
随便看	non-predicative non-predicative analysis non-predicative definition non-predicative formal theory non-predicative property non-preemptive priority non-primary non-prime non-prime divisor non-prime ideal non-prime number non-primitive non-primitive character non-primitive root of unity nonprincipal nonprincipal character nonprincipal filter nonprincipal matrix nonprincipal ultrafilter non-projective non-quadratic non-quasidiagonal operator non-quasitriangular operator non-ramified extension nonrandom

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