Eduarda Sifuentes <em>et al. </em>2025.
 TRUEBLE: An Innovative Tool for Teaching and Learning Mathematical Logic. In <em>Companion Proceedings of the 14th Brazilian Congress on Computers in Education</em>, November 24, 2025, Curitiba/PR, Brasil. SBC, Porto Alegre, Brasil, 240-243. DOI: <a href="https://doi.org/10.5753/cbie_estendido.2025.14027">https://doi.org/10.5753/cbie_estendido.2025.14027</a>.