VARGAS, Ketrin Diovana Alves Rodrigues; 						DA SILVA, João Pablo Silva; 						FINGER, Alice Fonseca.
 Strategies for teaching Mathematical Logic with Computational Thinking: a systematic review of the literature. <em>In</em>: BRAZILIAN SYMPOSIUM ON COMPUTERS IN EDUCATION (SBIE), 33.	, 2022, Manaus.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2022
.
 p. 1391-1403. 
		DOI: <a href="https://doi.org/10.5753/sbie.2022.225243">https://doi.org/10.5753/sbie.2022.225243</a>.