Return to Article Details Unplugged Gamification for Propositional Logic: connections Between Computing and Education in High School Download Download PDF