Hi list, I think (and hope) that the following seminar notes may be interesting to some people... "Intuitionistic Logic for Children, or: Planar Heyting Algebras for Children" http://angg.twu.net/math-b.html#zhas-for-children http://angg.twu.net/dednat6/tests/4.pdf Feedback VERY welcome! Cheers =), Eduardo Ochs [For admin and other information see: http://www.mta.ca/~cat-dist/ ]