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