Heyting
常見例句
- 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