Dias, Bruna, and Alice Fonseca Finger.
" Applications for the teaching-learning of Mathematical Logic: what is the best choice?." <em>Proceedings of the 26th Workshop on Computing at School,
Evento Online, 2020</em>. SBC, 2020,  
pp.111-120.