Vargas, Ketrin Diovana, João Pablo Silva da Silva, and Alice Fonseca Finger.
" Strategies for teaching Mathematical Logic with Computational Thinking: a systematic review of the literature." <em>Proceedings of the 33rd Brazilian Symposium on Computers in Education,
Manaus, 2022</em>. SBC, 2022,  
pp.1391-1403.