Santana, T., Braga, R., Rigo, R., & Araújo, R. (2026). Expedição Lógica: Jogando e Aprendendo Lógica Proposicional e de Predicados. In Anais do VI Simpósio Brasileiro de Educação em Computação, (pp. 757-769). Porto Alegre: SBC. doi:10.5753/educomp.2026.18741