Andrade, J., & 		Canese, M.
2013 nov 25.  Um Sistema Web Gamificado para a Aprendizagem de Lógica Formal. Anais do Simpósio Brasileiro de Informática na Educação (SBIE). [Online] :