海廷代数

  • 网络Heyting algebra
海廷代数海廷代数