Heyting代數

另請參閱

Logos, Topos

請引用為

Weisstein, Eric W. “Heyting代數。” 來自 Web 資源。 https://mathworld.tw/HeytingAlgebra.html