Ketrin Diovana Vargas, João Pablo da Silva, and Alice Finger. 2022.
 Strategies for teaching Mathematical Logic with Computational Thinking: a systematic review of the literature. In <em>Proceedings of the 33rd Brazilian Symposium on Computers in Education</em>, November 16, 2022, Manaus, Brasil. SBC, Porto Alegre, Brasil, 1391-1403. DOI: <a href="https://doi.org/10.5753/sbie.2022.225243">https://doi.org/10.5753/sbie.2022.225243</a>.