Sixty Logic Problems from Lewis Caroll's Symbolic Logic.

You might enjoy reading Welcome to the Hotel Infinity (also in PDF) related to our discussion of cardinality (and inspired by Hilbert's "Grand Hotel" idea).

You might find it interesting to look at a java-enhanced version of Euclid's Elements.