# title
The Logic Daemon: Colin Allens Computer-Based Contributions to Logic Pedagogy