“axiom system for intuitionistic propositional logic”的概念、定义、习题解题方法及翻译-数学辞典

单词	axiom system for intuitionistic propositional logic
释义	SeeAxiomSystemForIntuitionisticPropositionalLogic
随便看	SerretFrenetEquations Serret-Frenet equations SerretFrenetEquationsInmathbbR2 Serret-Frenet equations in ℝ^2 Serre’s twisting theorem SesquilinearFormsOverGeneralFields sesquilinear forms over general fields Set set SetClosedUnderAnOperation set closed under an operation SetDifference set difference Set is a Π⁢𝖶-pretopos SetOfSampling set of sampling Sets and n-types SetsInUnivalentFoundations Sets in univalent foundations SetsThatDoNotHaveAnInfimum sets that do not have an infimum SetsWhereSequenceOfContinuousFunctionsDiverge sets where sequence of continuous functions diverge SetTheory set theory

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