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

单词	implicational calculus of propositions
释义	implicational calculus of propositions 蕴涵命题演算
随便看	prime table prime theta-function prime triangle branch surface Brandt groupoid Brandt, H. Brandt law Brandt semigroup Brandt-Snedecor formula Branges, L.de Brashman, N.D.(Брашман, Н.Д.) Brauer, A.T. Brauer chain Brauer character Brauer characterization Brauer group Brauer group of a local field Brauer homomorphism Brauer main theorem Brauer number Brauer, R.D. Brauer-Severi variety Brauer-Siegel theorem Brauer theorem Braun conjecture

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