Vargas, K., 		da Silva, J., & 		Finger, A.
2022 Nov 16.  Strategies for teaching Mathematical Logic with Computational Thinking: a systematic review of the literature. Proceedings of the Brazilian Symposium on Computers in Education (SBIE). [Online] :