Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.
Notice: We are no longer accepting new posts, but the forums will continue to be readable.
A de-Morgan law for Heyting lattices
Aug 30, 2013 7:54 AM