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

单词	sequent calculus
释义	sequent calculus 矢列式演算
随便看	diameter of a sphere diametral diametrically opposite point diametric chord diametric conic diametric curve diametric (= diametrical) diametric hyperplane diametric line diametric plane diametric surface diamond diamond graph diamond isomorphism theorem diamond lemma diamond operator dianalytic (= dianalytical) diassociative loop diassociativity diathermal wall diaxiality dib Di Bruno, F. dice (die的复数形式） dichotomous

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