| Puzzles |
|
| Dogs and Cats | |
| Water Jugs | |
| Eight Tiles | |
| Jealous Husbands | |
| Towers of Hanoi | |
| Last One Loses | |
| Core | |
| Truth Functions | |
| Justified Thought | |
| Deep Thought | |
| Logic Translation | |
| Statement Reformulation | |
| Premises and Conclusions | |
| Other: (projects involving Comp Sci students) | |
| Phi Phenomenon | |
| Help | |
| Running the applets. | |
| Grading and Certificates. |