Costacurta, A., Kagami, R., Floriano, A., & Cabanas, A. 2025 jul 20. Gamificação Desplugada para Lógica Proposicional: conexões entre Computação e Educação no Ensino Médio. Anais do Encontro Nacional de Computação dos Institutos Federais (ENCompIF). [Online] :