Andrade, J., & 		Canese, M.
(2013).
 Um Sistema Web Gamificado para a Aprendizagem de Lógica Formal.
In <em>Anais do XXIV Simpósio Brasileiro de Informática na Educação</em>, (pp. 426-435). Porto Alegre: SBC.
doi:10.5753/cbie.sbie.2013.426