Andrade, Jefferson, E 		Canese, Marta.
" Um Sistema Web Gamificado para a Aprendizagem de Lógica Formal" <em>Anais do Simpósio Brasileiro de Informática na Educação (SBIE)</em> [Online], (25 novembro 2013)