SIFUENTES, Eduarda; DIAS, Emilly; TREMARIN, Gabriel; MOURA, Guilherme; SILVA, Rafael; POLTRONIERI, Ildevana; FINGER, Alice. TRUEBLE: An Innovative Tool for Teaching and Learning Mathematical Logic. In: APPS.EDU CONTEST - PROTOTYPE CATEGORY - BRAZILIAN CONGRESS ON COMPUTERS IN EDUCATION (CBIE), 14. , 2025, Curitiba/PR. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2025 . p. 240-243. DOI: https://doi.org/10.5753/cbie_estendido.2025.14027.