Moving forward with LogicWriter Actual, A Web App for Early Undergraduate Writing with Mathematical Logic.

Bruce W. Char, Jeremy Johnson, Steve Earth

Browse the full SIGCSE paper archive.