Heyting Algebra
An
Algebra
which is a special case of a
Logos
.
See also
Logos
,
Topos
© 1996-9
Eric W. Weisstein
1999-05-25