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