Sifuentes, E., 		Dias, E., 		Tremarin, G., 		Moura, G., 		Silva, R., 		Poltronieri, I., & 		Finger, A.
(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>, (pp. 240-243). Porto Alegre: SBC.
doi:10.5753/cbie_estendido.2025.14027