A tutorial program for propositional logic with human/computer interactive learning.

Stacy Lukins, Alan Levicki, Jennifer Burg

Browse the full SIGCSE paper archive.