K. Vargas, J. da Silva, and A. Finger.
" 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>, Manaus, 2022, pp. 1391-1403, doi: <a href="https://doi.org/10.5753/sbie.2022.225243">https://doi.org/10.5753/sbie.2022.225243</a>.