info prev up next book cdrom email home

Heyting Algebra

An Algebra which is a special case of a Logos.

See also Logos, Topos




© 1996-9 Eric W. Weisstein
1999-05-25