B. Dias and A. Finger.
" 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>, Evento Online, 2020, pp. 111-120, doi: <a href="https://doi.org/10.5753/cbie.wie.2020.111">https://doi.org/10.5753/cbie.wie.2020.111</a>.