Tools for Teaching Logic