Here's a link to the logic website I co-wrote one summer for Harvard's intro logic class, and some educational games I've written.