Heyting
常見例句
- ON PROPERTIES BETWEEN ROBBINS ALGEBRA AND HEYTING ALGEBRA
關于Robbins代數與Heyting代數的類似性質 - The conditions for Heyting algebra to be a Boole algebra and the characteristics of Heyting algebras
Heyting代數成為Boole代數的條件及其特征 - Heyting algebra
Heyting代數 返回 Heyting