“truth-value semantics for intuitionistic propositional logic is sound”的概念、定义、习题解题方法及翻译-数学辞典

单词	truth-value semantics for intuitionistic propositional logic is sound
释义	SeeTruthvalueSemanticsForIntuitionisticPropositionalLogicIsSound
随便看	von Neumann algebra VonNeumannAlgebrasContainTheRangeProjectionsOfItsElements von Neumann algebras contain the range projections of its elements VonNeumannAlgebrasOfDimensionGreaterThanOneContainNontrivialProjections von Neumann algebras of dimension greater than one contain non-trivial projections VonNeumannBernaysGodelSetTheory von Neumann-Bernays-Gödel set theory VonNeumannDoubleCommutantTheorem von Neumann double commutant theorem VonNeumannInteger von Neumann integer VonNeumannOrdinal von Neumann ordinal VonNeumannRegular von Neumann regular VonNeumannsErgodicTheorem Von Neumann’s ergodic theorem Voting voting vStefanZnam V⁢(I)=∅ implies I=R WaclawSierpinski Wacław Sierpiński WagnerCongruence Wagner congruence

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