Costacurta, A., 		Kagami, R., 		Floriano, A., & 		Cabanas, A.
(2025).
 Unplugged Gamification for Propositional Logic: connections Between Computing and Education in High School.
In <em>Proceedings of the 12th National Computing Meeting of Federal Institutes</em>, (pp. 139-146). Porto Alegre: SBC.
doi:10.5753/encompif.2025.8050