From boring to scoring - a collaborative serious game for learning and practicing mathematical logic for computer science education.