This is one of the best all around
sites that I have found. It is titled "The MacTutor History
of Mathematics Archive."
This is an award-winning
site that links to all sorts of mathematics information.
A short history is given on this site which is taken from
the Internet Encyclopedia of Philosoply.
There is a game, called WFF'N
PROOF which I first learned over 30 years ago. It
is a fun game that teaches logical prooF. I have used
in many classes over the years.
This wonderful site about Lewis Carroll
is delightful. Check the nine bullets for "The
Logic of Lewis Carroll."