基本解釋n.海廷同根派生 Heyting相關(guān)詞英漢例句ON PROPERTIES BETWEEN ROBBINS ALGEBRA AND HEYTING ALGEBRA 關(guān)于Robbins代數(shù)與Heyting代數(shù)的類似性質(zhì)The conditions for Heyting algebra to be a Boole algebra and the characteristics of Heyting algebras Heyting代數(shù)成為Boole代數(shù)的條件及其特征Heyting algebra Heyting代數(shù)Heyting更多例句