* Intuitionistic Logic for Children, or: Planar Heyting Algebras for Children
@ 2015-09-30 1:08 Eduardo Ochs
0 siblings, 0 replies; only message in thread
From: Eduardo Ochs @ 2015-09-30 1:08 UTC (permalink / raw)
To: categories
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/ ]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2015-09-30 1:08 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-09-30 1:08 Intuitionistic Logic for Children, or: Planar Heyting Algebras for Children Eduardo Ochs
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).