Dias, B., & 		Finger, A.
(2020).
 Applications for the teaching-learning of Mathematical Logic: what is the best choice?.
In <em>Proceedings of the 26th Workshop on Computing at School</em>, (pp. 111-120). Porto Alegre: SBC.
doi:10.5753/cbie.wie.2020.111