Dias, B., & 		Finger, A.
2020 Nov 24.  Applications for the teaching-learning of Mathematical Logic: what is the best choice?. Proceedings of the Workshop on Computing at School (WIE). [Online] :