Vargas, Ketrin Diovana, 		da Silva, João Pablo, AND 		Finger, Alice.
" Strategies for teaching Mathematical Logic with Computational Thinking: a systematic review of the literature" <em>Proceedings of the Brazilian Symposium on Computers in Education (SBIE)</em> [Online], (16 November 2022)